Chip Hogg

Good point about the vector space. I can't think of anything that wouldn't "work" _per se_, I just think from a practical perspective it's likely to be full of gotchas...

My initial reaction is that I like it! Au has `Constant` as a separate thing compared to "unit": a constant is templated on a unit. I like the conceptual separation....

I'm wary of changing the core semantics of magnitude away from "a positive real number". Making it "a nonzero real number" would put a hole in the middle (0), and...

So basically, "solve for `/* ??? */`? I like it. We can bikeshed what the `/* ??? */` would look like, but I'm sure there are many reasonable choices that...

> I have argued that such an interface is unfit for standardization. I can't tell: are you saying that `known_first_factor` is "unfit for standardization", or vector space magnitudes generally?

I think the unfitness of `known_first_factor` for standardization is a consensus opinion on our team, including me. The plan for the prime number paper is to outline the problem that...

> Ah, but https://cpplang.slack.com/archives/C2PQKRWJU/p1518448215000036 does mention "the prime testing paper". So maybe it just never became a P-paper. > > You might want to get in contact with those folks,...

Is that a valid test? With the iteration limit for compilers, the failure mode isn't "gracefully exit the loop". The failure mode is "produce a hard compiler error". Maybe this...

Nope :upside_down_face:

I had thought about adding prefix symbols to Au a while ago. I quickly dismissed it as unworkable because `m` is ambiguous: just consider the `mm` unit (`m(m)`?) as a...