CoCoA Project

17 Dec 2018

15:16 CoCoALib 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

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

Yet another example which fails:... John Abbott

11 Dec 2018

15:43 CoCoALib 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 CoCoALib 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