CoCoA » CoCoALib

17 Dec 2018

15:16 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible

Indeed, if we accept that an error is appropriate then message is reasonable.
It would be better if CoCoA could ha... John Abbott

15:09 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible

I get... Anna Maria Bigatti

13:55 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible

Yet another example which fails:... John Abbott

12 Dec 2018

07:19 Feature #1235: FreeModule: get canonical basis

Two ideas:
1 - @basis(FM);@
2 - @gens(FM);@ (with a comment in the manual saying that, for a FreeModule, returns ... Anna Maria Bigatti

11 Dec 2018

15:43 Feature #1235: FreeModule: get canonical basis

The function @gens@ for a submodule of a freemodule produces a set of generators (but with no special guarantees).
T... John Abbott

15:40 Feature #1235 (Closed): FreeModule: get canonical basis

It would be helpful to have a function which produces a standard basis for a FreeModule (in the expected order).
John Abbott