CoCoA

26 Mar 2016

22:54 CoCoALib Bug #858: floor for TwinFloat can produce ERR::SERIOUS

I found a bug in @myIsInteger@, so have written a completely new version (it's quite a nightmare debugging code writt... John Abbott

21:23 CoCoALib Bug #858: floor for TwinFloat can produce ERR::SERIOUS

An ad hoc test behaved as I expected, so I think @myFloor@ (and @myCeil@ are now OK).
Wish I could say the same for ... John Abbott

21:21 CoCoALib Bug #858: floor for TwinFloat can produce ERR::SERIOUS

I am now convinced that @myFloor@ must effectively make a @myIsInteger@ test.
If @myIsInteger@ succeeds then its r... John Abbott

11:28 CoCoALib Bug #858: floor for TwinFloat can produce ERR::SERIOUS

One way out of the problem would simply be to reinstate the test:... John Abbott

11:06 CoCoALib Bug #858 (In Progress): floor for TwinFloat can produce ERR::SERIOUS

The point is that the candidate value for floor should really be floor of primary component plus a very small epsilon... John Abbott

11:03 CoCoALib Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS

Fix impl of @RingTwinFloatImpl::myFloor@ so that the following does not happen... John Abbott

25 Mar 2016

22:44 CoCoA-5 Feature #857 (New): floor, ceil, and NearestInt for RingElem in CoCoA-5?

In CoCoALib it is possible to compute @floor@, @ceil@ and @NearestInt@ of a @RingElem@.
In CoCoA-5 @floor@ and @ce... John Abbott

22:29 CoCoALib Feature #856 (Feedback): MantissaAndExponent2 for twin-float

I have implemented the fn. It seems to work more or less as expected.
Note that the fn does reveal some of what g... John Abbott

22:22 CoCoALib Feature #856 (In Progress): MantissaAndExponent2 for twin-float

Here is a summary description of the ideal behaviour of the "exporting" fn:
let @x@ be a (non-zero) twin-float (zero... John Abbott

22:15 CoCoALib Feature #856 (Closed): MantissaAndExponent2 for twin-float

So far the only way to get a "proper value" out of a twin-float was to use @IsRational@, but that works only if the v... John Abbott

22:11 CoCoALib Bug #853 (Feedback): NearestInt can needlessly throw InsufficientPrecision

I followed design *(B)*; we just have to be careful if we want to change policy about how halves are handled. Perhap... John Abbott

22:04 CoCoALib Bug #853: NearestInt can needlessly throw InsufficientPrecision

I think I have fixed the problem. I have completely rewritten the code to do with @floor@, @ceil@ and @NearestInt@.
... John Abbott

15:12 CoCoALib Bug #853: NearestInt can needlessly throw InsufficientPrecision

John Abbott wrote:
> Which is the better design?
> * *(A)* A normal C++ fn (as currently implemented), or
> * *(B)... Anna Maria Bigatti

14:59 CoCoALib Bug #853: NearestInt can needlessly throw InsufficientPrecision

I am thinking of making the test for @NearestInt@ of twin float values work as follows:
fix an integer @N@, for ever... John Abbott

14:54 CoCoALib Bug #853: NearestInt can needlessly throw InsufficientPrecision

Currently the only ordered domains are: @RingZZ@, @RingQQ@ (since a @FractionField@ of an ordered domain is an ordere... John Abbott

22:08 CoCoALib Support #696 (Feedback): test-OrderedRing: activate or eliminate?

The tests pass, of course. John Abbott

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

I have now checked in 2 new tests for ordered domains: @test-OrderedDomain1@ and @test-OrderedDomain2@. The first te... John Abbott

14:16 CoCoALib Design #855: Copyright and authorship?

I have just had a quick look at the Wikipedia page about copyright, and it does seem like a good idea to have a signe... John Abbott

09:43 CoCoALib Design #855 (In Progress): Copyright and authorship?

First of all: we'll always be free and open source!
There'll always be X-GPL-X (or relatives) versions of cocoalib!
... Anna Maria Bigatti

08:58 CoCoALib Design #855: Copyright and authorship?

As an example: my (small!) contribution to Emacs... Anna Maria Bigatti

08:56 CoCoALib Design #855 (Closed): Copyright and authorship?

So far we followed the rule "copyright = author".
Indeed almost all files are by Abbott and/or Bigatti.
But there a... Anna Maria Bigatti

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