Tommy Hofmann
Tommy Hofmann
I understand that `affine_algebra(RG)` looks really awkward. In particular since the return value is a tuple. One option is to make the quotient algebras print compactly in one line (same...
Are you happy with this @fieker?
What is the precision of the result of an operation in this model?
The computation of `x * y` must know with which precision the result should be computed. For `BigFloat` this is the global default precision, aka the precision of the parent....
Yes, this is on 'purpose' because someone just removed the parent check to make 'mixed' things work. We are currently discussing how to proceed with the parent-less arbs. Do you...
I discussed this in length with @fieker. There are two options to go parent-less: 1. Elements will be plain `arb_t`. We have a global `RR` object which has some `prec::Int`...
Since special cases for polynomials might make the system less consistent, I guess the question would be: What is the mathematical definition of `/` that we want to consistently use?...
> I have not proposed anything for `ZZ(2)/ZZ(3)` or `Zx(2)/ZZ(2)`. And I think there is a fundamental difference between defining `/` for arguments where the result "always" makes sense (except...
No, this is all fine and expected. This is exactly the proposal that comes up from time to time. The only question is whether we want the mismatch between `ZZ(1)/ZZ(1)`...
Ah oops, you are right about the printing of rationals. Not sure what I was thinking. So yeah, if all are happy with this, why not.