On Fri, Sep 29, 2023 at 8:32 AM Vincent Delecroix <20100.delecr...@gmail.com> wrote: > > What is your sage version? How did you install it? Did you open an > issue on github?
I can confirm this happens on Linux, with a recent Sage beta, too. This is now https://github.com/sagemath/sage/issues/36361 > > Best > Vincent > > On Tue, 26 Sept 2023 at 07:00, John H Palmieri <jhpalmier...@gmail.com> wrote: > > > > Setup: > > > > sage: F = GF(2, impl='ntl') > > sage: m_ntl = identity_matrix(1, F) > > sage: v_ntl = vector(F, (1,)) > > > > Now consider > > > > sage: m_ntl * v_ntl > > sage: v_ntl * m_ntl > > > > I'm trying to multiply a 1x1 matrix by a 1-dimensional vector, in one order > > or the other. Here's what happens: the first line fails with a SignalError, > > and the second actually crashes Sage. If we are defining a field that can't > > do linear algebra, shouldn't there be big warnings posted somewhere? If we > > are defining a field like this, are there any expectations that it should > > work broadly with Sage types and constructions? I just discovered that cup > > products in mod 2 cohomology don't work when "mod 2" means coefficients in > > GF(2, impl='ntl'), and I don't know if I should bother trying to fix this. > > > > For what it's worth, I get the same with `GF(2, impl='givaro')`. Also for > > what it's worth, explicitly converting `v_ntl` to a matrix allows the > > matrix multiplication to work. > > > > I see this on two different OS X machines, one Intel and one Apple Silicon. > > > > -- > > John > > > > -- > > You received this message because you are subscribed to the Google Groups > > "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to sage-devel+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/sage-devel/faeffb72-3b16-4f37-90c4-f969e4d5c017n%40googlegroups.com. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAGEwAAm37d_yY%2B7AYbUV2dtVwXBGwE412yLGjcPi1wSCO%2BjfvA%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3C7VqTiDRzCjZLbEx6vdm8G0zJg6QVwKOXwAWU9s_M6A%40mail.gmail.com.
