2021-01-25 09:05:20 +0200 received badge ● Famous Question (source) 2019-01-26 16:51:17 +0200 received badge ● Notable Question (source) 2018-07-23 23:13:43 +0200 received badge ● Popular Question (source) 2018-03-08 11:11:35 +0200 received badge ● Popular Question (source) 2015-12-25 11:36:31 +0200 commented answer Cannot mulyiply polynomial by matrix when ordering is explicitly specified Thank you! 2015-12-04 17:33:09 +0200 received badge ● Student (source) 2015-12-04 16:43:59 +0200 asked a question Cannot mulyiply polynomial by matrix when ordering is explicitly specified Consider the following code: sage: F = GF(17) sage: R. = PolynomialRing(F) sage: MS = MatrixSpace(F, 5, 4) sage: x, y = R.gens() sage: MS.random_element() * x # Good. sage: MS.random_element() * y # Good. # So far, so good. Now watch. sage: R. = PolynomialRing(F, order='lex') sage: x, y = R.gens() sage: MS.random_element() * x --------------------------------------------------------------------------- TypeError Traceback (most recent call last) in () ----> 1 MS.random_element() * x sage/structure/element.pyx in sage.structure.element.Matrix.__mul__ (/build/sagemath/src/sage-6.9/src/build/cythonized/sage/structure/element.c:23250)() sage/structure/coerce.pyx in sage.structure.coerce.CoercionModel_cache_maps.bin_op (/build/sagemath/src/sage-6.9/src/build/cythonized/sage/structure/coerce.c:9739)() TypeError: unsupported operand parent(s) for '*': 'Full MatrixSpace of 5 by 4 dense matrices over Finite Field of size 17' and 'Multivariate Polynomial Ring in x, y over Finite Field of size 17' Does anybody know if this is intentional? In my opinion it shouldn't happen because lex ordering is already the implicit default. The bug does not seem to occur with degrevlex ordering, which is also weird. The bug also does not occur with square matrices, which is even weirder. SageMath Version 6.9, Release Date: 2015-10-10 2015-11-28 19:37:33 +0200 received badge ● Scholar (source) 2015-11-28 19:36:54 +0200 answered a question Enumerate all solutions to linear system over finite field Okay, I found the solution. Finite vector spaces support iteration, so one can simply do: particular_soln = A.solve_right(b) for homogeneous_soln in A.right_kernel(): particular_soln + homogeneous_soln 2015-11-28 19:17:15 +0200 received badge ● Editor (source) 2015-11-28 19:16:35 +0200 asked a question Enumerate all solutions to linear system over finite field Assume I have a matrix $A$ and a vector $b$, both over some finite field $\mathrm{GF}(q)$. I would like to enumerate _all_ solutions to $A x = b$ (there are only finitely many). I can generate a particular solution using A \ b and I can generate the nullspace of $A$ using A.right_kernel(), but how should I combine the two to enumerate all solutions? 2015-11-26 23:00:55 +0200 asked a question Solving system of MQ equations I would like to use SageMath to solve a system of multivariate quadratic (MQ) equations. The goal is to provide an implementation of the Kipnis--Shamir attack on the MinRank problem (see here, pp. 29--31). Basically, I have matrices $M_j$ over some finite field and I need for form and solve a system of equations that looks like this: $$\left(\sum\limits_{j = 1}^{k} y_j M_j\right) \begin{bmatrix} 1 & 0 & \cdots & 0 \ 0 & 1 & \cdots & 0 \ \vdots & \vdots & \vdots & \vdots \ 0 & 0 & \cdots & 1 \ x_1^{(1)} & x_1^{(2)} & \cdots & x_1^{(n - r)} \ \vdots & \vdots & \vdots & \vdots \ x_r^{(1)} & x_r^{(2)} & \cdots & x_r^{(n - r)} \end{bmatrix} = \mathbf{0}$$ Where the $y$'s and the $x$'s are unknowns. How should I go about achieving this? Thanks in advance.