CoCoA

24 Mar 2016

18:09 CoCoALib Bug #820 (Closed): NewMatMinimize, NewMatCompleteOrd - a godforsaken mess!

Anna Maria Bigatti

18:01 CoCoALib Design #824 (Closed): Fn names: LexMat or MatLex; StdDegRevLexMat or MatStdDegRevLex etc

Anna Maria Bigatti

12:51 CoCoALib Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?

Unfortunately we have already renamed it once in CoCoA-5 (from CompleteToOrd).
Anna Maria Bigatti

12:48 CoCoALib Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?

Anna Maria Bigatti

12:47 CoCoALib Design #827 (Feedback): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)

Anna Maria Bigatti

12:16 CoCoALib Bug #814: PPOrdering: matrix ordering, what rings are allowed.

John Abbott wrote:
> Could it be useful to have a pseudo-ctor which accepts just the "grading matrix"? The pseudo-c... Anna Maria Bigatti

12:02 CoCoALib Bug #821 (Closed): IsTermOrdering

Anna Maria Bigatti

11:58 CoCoALib Design #819 (Closed): GradingMat: does anyone need it?

Anna Maria Bigatti

11:50 CoCoALib Feature #215 (Closed): Janet Bases: check and include code in CoCoALib (first prototype)

Anna Maria Bigatti wrote:
> The general task is fully done.
> Yet to do: add JB field in ideal in cocoalib, and con... Anna Maria Bigatti

11:42 CoCoALib Bug #834 (Closed): Fix test failures (after revising MatrixForOrdering)

All tests pass (no idea how long we have spent on this). Closing.
John Abbott wrote:
> Ignoring the question of ... Anna Maria Bigatti

08:04 CoCoALib Feature #762: ExternalLib-GFan: first prototype

"GFan":https://www.everipedia.com/gfan/ George Bateman

23 Mar 2016

17:29 CoCoALib Bug #853: NearestInt can needlessly throw InsufficientPrecision

Which is the better design?
* *(A)* A normal C++ fn (as currently implemented), or
* *(B)* mem fns for the rings wh... John Abbott

17:12 CoCoALib Bug #853 (In Progress): NearestInt can needlessly throw InsufficientPrecision

What properties should the result of @NearestInt@ have?
* an obvious property is @abs(NearestInt(X) - X) <= 1/2@
... John Abbott

16:52 CoCoALib Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision

The current impl of @NearestInt@ with an arg from a @RingTwinFloat@ can throw @InsufficientPrecision@ when it should ... John Abbott

16:54 CoCoALib Support #696: test-OrderedRing: activate or eliminate?

Well, this test is worthwhile: it has found a bug in the impl of @NearestInt@ (see #853). John Abbott

11:07 CoCoALib Support #696: test-OrderedRing: activate or eliminate?

I'll try to fix it and add it to CVS.
John Abbott

15:31 CoCoALib Design #806 (Closed): AssignZero for matrix

John Abbott

15:27 CoCoALib Bug #783 (Closed): abs for MachineInt

Anna Maria Bigatti

15:27 CoCoALib Design #311: XelMat, StdDegRevLexMat, ... should be MatrixView

We must settle the last questions, and then close.
John Abbott

15:24 CoCoALib Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?

John Abbott

15:20 CoCoALib Bug #804 (Closed): ZeroMat and IdentityMat should produce a matrix not a ConstMatrixView

John Abbott

15:17 CoCoALib Design #592 (In Progress): Review design of ConstMatrixView

John Abbott

15:10 CoCoALib Feature #811 (Closed): Add new fn SimplestBinaryRatBetween

Anna Maria Bigatti

15:10 CoCoALib Feature #836 (Closed): SmallFpImpl: export fns for a fixed convention

John Abbott

15:00 CoCoALib Slug #773 (Closed): DMPZmerge: make non-recursive

John Abbott

10:43 CoCoA-5 Support #314: odd and even numbers for snapshots/official versions?

John Abbott wrote:
> Does this mean that the "target version" for new features should always be with an even number?... Anna Maria Bigatti

10:40 CoCoA-5 Support #314: odd and even numbers for snapshots/official versions?

Does this mean that the "target version" for new features should always be with an even number? John Abbott

10:32 CoCoA-5 Support #314 (Closed): odd and even numbers for snapshots/official versions?

Try with latest proposal. If not satisfactory make new issue/proposal. Anna Maria Bigatti

10:41 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler

Some improvements:
version for cocoa-5 is now automatic.
Partial releases will have odd version numbers.
Scripts i... Anna Maria Bigatti

10:30 CoCoA-5 Bug #852 (Closed): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml

Anna Maria Bigatti

10:29 CoCoA-5 Design #766 (Closed): CoCoA version number: copy CoCoALib

Essentially done.
Left to do: fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml Anna Maria Bigatti

10:24 CoCoA-5 Support #851 (Closed): Release: CoCoA-5.2.0

Everything for the release
# Redmine Roadmap: close or postpone issue
# Redmine Release issues: check percentages... Anna Maria Bigatti

10:20 CoCoA-5 Support #843 (Closed): Release: CoCoA-5.1.3 and CoCoA-5.1.4

Anna Maria Bigatti

10:18 CoCoA-5 Bug #650 (Closed): CoCoA-5 test (SourceAnna); problem in HilbertPoly

This problem has not re-surfaced in ages. Declare it closed.
Anna Maria Bigatti

22 Mar 2016

18:21 CoCoA-5 Support #314: odd and even numbers for snapshots/official versions?

This would also imply that in cvs we should have only even target versions. Anna Maria Bigatti

18:18 CoCoA-5 Support #314 (Feedback): odd and even numbers for snapshots/official versions?

Trying again and refining the idea after some experience:
I suggest using odd numbers for "flowing versions", and ev... Anna Maria Bigatti

18:19 CoCoALib Support #696: test-OrderedRing: activate or eliminate?

I don't see it in cvs.
Anna Maria Bigatti

18:08 CoCoALib Support #618: Instructions for compiling libnormaliz

This is * *OBSOLETE* * -- see next comment!
Here are the notes I have made for myself (compiling using @make@ ... John Abbott

17:59 CoCoALib Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one

updated calls in BuiltinFunctions-CoCoALib and CoCoALibSupplement.
NOTE: this is only done for SparsePolyRing becaus... Anna Maria Bigatti

17:54 CoCoALib Design #819: GradingMat: does anyone need it?

I think it is a meaningful function (even though it is simply a submat of OrdMat).
It might become more tricky when ... Anna Maria Bigatti

17:44 CoCoALib Bug #834: Fix test failures (after revising MatrixForOrdering)

I think there are no more failures now. Close this issue? Anna Maria Bigatti

17:42 CoCoALib Bug #831 (Closed): primary.cocoa5

I cannot remember what was done, but it works now.
Anna Maria Bigatti

17:10 CoCoALib Design #849 (In Progress): Cleanup MinPoly code

Implement syntax @MinPolyXX(f, x)@ with f in R/I
(instead of current @MinPolyXX(f, I, x)@)
Anna Maria Bigatti

17:07 CoCoALib Feature #848 (Closed): Implement MinPoly in CoCoALib

Anna Maria Bigatti

17:07 CoCoALib Feature #848: Implement MinPoly in CoCoALib

Anna Bigatti + Elisa Palezzato: translated from cocoa-5 to cocoalib.
Tested, works.
Not documented: still needed pr... Anna Maria Bigatti

16:47 CoCoALib Feature #848: Implement MinPoly in CoCoALib

John Abbott: new class IncrLinDep
Anna Maria Bigatti

16:44 CoCoALib Feature #848 (Closed): Implement MinPoly in CoCoALib

Implement all CoCoA-5 versions of MinPoly in CoCoALib Anna Maria Bigatti

21 Mar 2016

16:57 CoCoALib Feature #795 (Closed): Add new fn InvModNoCheck

No problems have arisen in the last 5 months; closing!
John Abbott

16:55 CoCoALib Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs

This is not really a bug... the extant mechanism for cleaning up global variables is likely to cause trouble in the s... John Abbott

14:58 CoCoALib Design #763: GlobalManager: initialization compatible with initialization of external libs

This looks to be quite a "delicate" matter. Even if I persuade Anders not to use globals for initializing his librar... John Abbott

16:47 CoCoALib Design #815: GlobalManager: Imminent disaster should be a proper error

I have added a new section to the documentation about the possible error message during destruction of @GlobalManager... John Abbott

16:00 CoCoALib Design #815 (Resolved): GlobalManager: Imminent disaster should be a proper error

I have changed the "humorous" message *IMMINENT DISASTER* into the possibly more comprehensible *CoCoA: FAILURE DURIN... John Abbott

15:49 CoCoALib Support #774 (In Progress): Rename file PPMonoidEvZZ

In my source copy it seems that @PPMonoidEvZZ.C@ has already been absorbed into @PPMonoidEv.C@, but the header files ... John Abbott

15:23 CoCoALib Support #847 (Closed): Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?

The doc for @BigInt@ is split into two: @BigInt@ and @IntOperations@ (also some in @NumTheory@).
Currently the doc... John Abbott

15:21 CoCoALib Support #810 (Closed): ILogBase: change name?

4 months in feedback without problems: closing!
John Abbott

14:36 CoCoALib Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows

This has been resolved for 4 months; no problems have arisen, so I'm closing.
John Abbott

14:33 CoCoALib Bug #821: IsTermOrdering

Have we finished this issue? If I recall well, we made some progress, but I no longer recall whether we actually fin... John Abbott

14:05 CoCoALib Design #846: IsIrred: correct design?

What are the exact semantics of @IsIrred@? Does it apply only to @RingElem@? [JAA: yes]
Wikipedia says that an *i... John Abbott

13:46 CoCoALib Design #846 (In Progress): IsIrred: correct design?

What is the correct way to design/implement @IsIrred@ for a @RingElem@?
I would like a design that does not need u... John Abbott

14 Mar 2016

16:06 CoCoA-5 Feature #243 (Closed): Normaliz tests for CoCoA5

Christof Soeger

11 Mar 2016

10:34 CoCoA-5 Feature #531: Package protected variables should know which package protected them

No doubt some change will be needed inside the source for @CoCoAInterpreter@. It will probably take a long time to f... John Abbott