Activity
From 19 Jan 2024 to 17 Feb 2024
17 Feb 2024
-
22:58 Bug #1713: Windows: Qt-Gui does not link correctly
- These differences between the linkers on Windows and Linux are really unfortunate sometimes...
In that case, I would... -
21:27 Bug #1713: Windows: Qt-Gui does not link correctly
- Partial success: compilation succeeded, but attempting to run the resulting executable produced an error *@Cannot fin...
-
- Great! Thanks for sorting this out. I shall test it (on Linux) shortly -- let's hope it works!
-
- I have updated my documentation file. Actually, only three CygWin packages are needed in order to successfully build ...
-
- I did not give up that easily on this issue: Today, I was finally able to compile the Qt5-Gui on Windows!
Recently, ...
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, ... -
- I get the same error with...
08 Feb 2024
-
- I have just sync'ed with CVS, and @CoCoA5/tests/tut-CoCoLA3@ gives **SERIOUS ERROR**
Oops! Too late to invesigate...
22 Jan 2024
-
- JAA has some new code from Passau which should be in integrated...
19 Jan 2024
-
- JAA has revised the manual entry, and changed calls in @packages@ to @ZeroMat@
Anna will revise the defn in @Backwar... -
- Tested also for @DenseUPolyRing@ (and made example for DUP)
-
-
- Done:...
-
- John Abbott wrote:
> Does the printing change if we use @indent@? I suppose not; but could it, should it?
It is ...
Also available in: Atom