CoCoA » CoCoA-5

07 Apr 2024

20:42 Design #1709 (Resolved): Test tut-CoCoLA2

John Abbott

20:41 Design #1709: Test tut-CoCoLA2

Ah, oops!
Since Anna did not object, I have just made the change hinted at in my comment 8 above. This should avoid... John Abbott

06 Apr 2024

15:55 Design #1709: Test tut-CoCoLA2

John Abbott wrote:
> What do you think?
I think it would be preferable to have deterministic output (i.e. literal... Ulrich von der Ohe

31 Mar 2024

20:40 Support #1675 (Closed): Version 5.4.0 requires Visual C++ Runtime 2013 on Windows

Only just noticed that my previous comment seems to be cut off for some reason... The feedback was positive: The new ... Nico Mexis

28 Mar 2024

07:16 Feature #78: Elim ordering and matrix ordering in CoCoA-5

Anna Maria Bigatti wrote:
> How to make this easier? Here is a possible shortcut:
> P := NewPolyRingElim(QQ, ElimI... Anna Maria Bigatti

26 Mar 2024

17:12 Feature #1072: syz: apply to ModuleElem?

Agreed that we should reject.
John Abbott

13:35 Feature #1072 (Rejected): syz: apply to ModuleElem?

Anna Maria Bigatti

09:59 Feature #1072 (Resolved): syz: apply to ModuleElem?

I'm inclined to reject this.
It would be ambiguos: syz of the components, or of the cyclic module it generates? Anna Maria Bigatti

13:44 Feature #1806 (New): New function ModuleElems? (like RingElems(RING, STRING))

The best shortcut to make a submodule is via @SumboduleCols/Rows@.
As pointed out in #1072-#1, even for one genera... Anna Maria Bigatti

12:16 Feature #1805 (New): Add CoCoA-5 syntax: syz(<F,> list of ModuleElem)

Currently we can call SyzOfGens(M), but it should also be possibile to call syz(gens(M)).
This is tedious because ... Anna Maria Bigatti

22 Mar 2024

18:18 Feature #78: Elim ordering and matrix ordering in CoCoA-5

I like Anna's possible shortcut from comment 9.
Shall we impl it?
*NOTE* also for CoCoALib? John Abbott

21 Mar 2024

11:55 Slug #1068: PolyRing constructor: NewOrdvArith computed twice

I added some verbosity... Anna Maria Bigatti

09:39 Bug #1794: Strange bug: demo-Osaka2015

John Abbott wrote:
> The cause is not too surprising: @demo-Osaka2015.cocoa5@ uses a random example (on line 72).
>... Anna Maria Bigatti

20 Mar 2024

22:41 Bug #1794 (In Progress): Strange bug: demo-Osaka2015

The cause is not too surprising: @demo-Osaka2015.cocoa5@ uses a random example (on line 72).
Evidently, with debuggi... John Abbott

19 Mar 2024

22:21 Support #629: Windows-GUI: compilation with MinGW

I know it has been quite some time, but I have made some progress on this: Even the GUI works for me!
However, there... Nico Mexis

20:05 Support #1759: Better error mesg for 1.2.3.4?

The relevant source code is probably in @Parser.C@ near line 1924 inside the function @parseSelectors@ right after @c... John Abbott

18 Mar 2024

21:39 Feature #823: NewPolyRing with weights -- better interface?

I did slightly prefer the name I suggested in note 7 (but it is longer).
Anyway, this is a good improvement to the i... John Abbott

17:02 Feature #823: NewPolyRing with weights -- better interface?

Added example in ex-PolyRing2.C Anna Maria Bigatti

16:17 Feature #823 (Closed): NewPolyRing with weights -- better interface?

Anna Maria Bigatti

21:27 Feature #1583: New fn ElapsedTimeFrom?

I'm tempted to *reject* this. Yes, there is the risk mentioned in the description, but it is not so serious -- if ne... John Abbott

21:20 Support #1603: Unhelpful behaviour in "compatibility mode": double error mesg

I'm very tempted to mark this one *won't fix*.
It would likely be a lot of work modifying the parser/interpreter, an... John Abbott

21:14 Support #1650 (In Progress): Potentially confusing prompt: waiting for semicolon

Since some languages (such as Julia) do not require semicolons to end the command while CoCoA does, perhaps the a com... John Abbott

21:05 Feature #1701: Preliminary packages

We can put a page for preliminary packages in the main manual. It should either contain a list of the packages (and ... John Abbott

20:59 Design #1709 (In Progress): Test tut-CoCoLA2

Maybe we can change the relevant line(s) to something like:... John Abbott

20:51 Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter

John Abbott

17 Mar 2024

10:59 Bug #1795 (In Progress): Makefile problem: needlessly relinks CoCoAInterpreter

I think I have corrected the error. Must do more checking.
John Abbott

16 Mar 2024

14:11 Bug #1795: Makefile problem: needlessly relinks CoCoAInterpreter

I vaguely recall Anna asking for an improvement to the @Makefile@ structure; I do not really recall why.
I also reca... John Abbott

14:07 Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter

Assuming that @CoCoAInterpreter@ is already compiled (and up-to-date).
Running @make check@ in directory @src/CoCoA-... John Abbott

12:16 Bug #1794: Strange bug: demo-Osaka2015

My @g++@ reports version info @gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04)@
My clang reports version info @Ubu... John Abbott

12:13 Bug #1794 (Resolved): Strange bug: demo-Osaka2015

I observe differing output with the test @demo-Osaka2015@ when compiled using @clang@ and with debugging active.
The... John Abbott

15 Mar 2024

18:24 Design #1456: IntersectList or IntersectionList

Think also about the names saturate/saturation, intersect/intersection.
Anna Maria Bigatti

15:40 Feature #823: NewPolyRing with weights -- better interface?

See #1789-10 Anna Maria Bigatti

11 Mar 2024

07:56 Feature #1671: Refactor C++ impl in OnlineHelp

John Abbott wrote:
> Currently @OnlineHelp.C@ uses CoCoALib for throwing error exceptions. It would be nice to make... Anna Maria Bigatti