This is now https://github.com/sagemath/sage/issues/39640
On Wednesday, 5 March 2025 at 23:45:59 UTC-8 Seth Chaiken wrote:
> Revised tests are consistent with Nils' reply. I replaced pi by 10/3. I
> compared the quotient by one variable of the
> two variable ring with a quotient by the one varia
In Sage 10.4,
Ext=ExteriorAlgebra(QQ,['p'])
Ext.inject_variables()
Mp = matrix(1,1,[[p]])
Mp[0,0]*Mp[0,0]
-> 0
Mp*Mp
FAILS!
(This did work in an older version.)
---
TypeError Traceback (most recent call last) Cell In[10], lin
It's probably a matter that ExteriorAlgebraElement has a "cdef _mul_" now.
That means in cython code it can access the method if it has enough type
information. That's probably why `p*p` works. It looks like in
sage.matrix.matrix_generic_dense.Matrix_generic_dense._multiply_classical
not enough
Revised tests are consistent with Nils' reply. I replaced pi by 10/3. I
compared the quotient by one variable of the
two variable ring with a quotient by the one variable in the one variable ring
and got the results below, the first
is consistent with the naive approx. Integers()(a*1000)/1000:
