CoCoA » CoCoALib

23 Mar 2016

17:29 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 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 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 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 Support #696: test-OrderedRing: activate or eliminate?

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

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

John Abbott

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

Anna Maria Bigatti

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

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

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

John Abbott

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

John Abbott

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

John Abbott

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

Anna Maria Bigatti

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

John Abbott

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

John Abbott

22 Mar 2016

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

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

18:08 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 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 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 Bug #834: Fix test failures (after revising MatrixForOrdering)

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

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

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

17:10 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 Feature #848 (Closed): Implement MinPoly in CoCoALib

Anna Maria Bigatti

17:07 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 Feature #848: Implement MinPoly in CoCoALib

John Abbott: new class IncrLinDep
Anna Maria Bigatti

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

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

21 Mar 2016

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

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

16:55 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 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 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 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 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 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 Support #810 (Closed): ILogBase: change name?

4 months in feedback without problems: closing!
John Abbott

14:36 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 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 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 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