Activity
From 16 Jan 2024 to 14 Feb 2024
09 Feb 2024
-
08:16 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR
- fixed and checked in.
@GenReprCompute@ used @SyzOfGens(ideal(concat([A], [ f in GensB | not(IsZero(f)) ])))@ which, ... -
07:59 Bug #1781: GenReprCompute: SERIOUS ERROR
- I get the same error with...
08 Feb 2024
-
22:02 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR
- I have just sync'ed with CVS, and @CoCoA5/tests/tut-CoCoLA3@ gives **SERIOUS ERROR**
Oops! Too late to invesigate...
22 Jan 2024
-
10:37 Feature #368: port SmithNormalForm (CoCoA-4)package to CoCoA-5
- JAA has some new code from Passau which should be in integrated...
19 Jan 2024
-
18:11 Design #1626 (Feedback): NewMat: should be obsolescent?
- JAA has revised the manual entry, and changed calls in @packages@ to @ZeroMat@
Anna will revise the defn in @Backwar... -
16:26 Bug #1623: EmacsUI: annoying colours
- Tested also for @DenseUPolyRing@ (and made example for DUP)
-
15:02 Bug #1623 (Feedback): EmacsUI: annoying colours
-
15:02 Bug #1623: EmacsUI: annoying colours
- Done:...
-
09:36 Bug #1623: EmacsUI: annoying colours
- John Abbott wrote:
> Does the printing change if we use @indent@? I suppose not; but could it, should it?
It is ...
16 Jan 2024
-
19:07 Bug #1623: EmacsUI: annoying colours
- Not bad! Minor variant: using square brackets for lists...
-
15:52 Bug #1623: EmacsUI: annoying colours
- New suggestion (the most compact I can think of)...
Also available in: Atom