CoCoA » CoCoA-5

12 Apr 2024

19:08 Design #1709: Test tut-CoCoLA2

I have just checked-in the changes. They should be in the next "internal" release. Hope to resolve #1814 before mak... John Abbott

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: Do not use random inside tests!!

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): Do not use random inside tests!!

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