CoCoA

16 Feb 2016

18:26 CoCoA-5 Feature #751 (Closed): description of a RING

Anna Maria Bigatti

16:51 CoCoA-5 Feature #751: description of a RING

Anna, haven't you made progress here?
John Abbott

17:58 CoCoA-5 Design #782 (Closed): BuiltinFunctions -- getting too long again!

Anna Maria Bigatti

17:10 CoCoA-5 Design #782: BuiltinFunctions -- getting too long again!

Anna, do you regard this as resolved? Can you close the issue? John Abbott

17:50 CoCoA-5 Bug #698 (Closed): Emacs UI: problems with packages on windows

Anna Maria Bigatti

15:59 CoCoA-5 Bug #698: Emacs UI: problems with packages on windows

Can we close this issue?
John Abbott

17:43 CoCoA-5 Feature #844 (Closed): IsMaximal, IsPrimary for IDEAL (in cocoa language)

done and documented Anna Maria Bigatti

17:41 CoCoA-5 Feature #844 (Closed): IsMaximal, IsPrimary for IDEAL (in cocoa language)

Anna Maria Bigatti

17:34 CoCoA-5 Support #843 (In Progress): Release: CoCoA-5.1.3 and CoCoA-5.1.4

Anna Maria Bigatti

17:33 CoCoA-5 Support #843 (Closed): Release: CoCoA-5.1.3 and CoCoA-5.1.4

Everything for the release
<check version number for CoCoALib release>
<cvs checkout in snapshot dir>
cd <snap... Anna Maria Bigatti

17:31 CoCoA-5 Support #616 (Closed): Release: CoCoA-5.1.2

Anna Maria Bigatti

16:02 CoCoA-5 Support #616: Release: CoCoA-5.1.2

Apparently the release was made over 6 months ago; can we close this issue?
BTW the CoCoA web site was very slow (... John Abbott

17:18 CoCoA-5 Feature #761: Evaluating a QuasiPol

I already suggested @EvalQuasiPoly@ ;)
The QuasiPoly is a general object in CoCoALib and not in the Normaliz inter... Christof Soeger

17:08 CoCoA-5 Feature #761: Evaluating a QuasiPol

Christof does have a valid point about creating a new "type" (tag?) for @QuasiPoly@. If we think it is worth conside... John Abbott

17:06 CoCoA-5 Feature #761 (Feedback): Evaluating a QuasiPol

This has been present for over 6 months.
Just one question before closing: why does the fn name contain @Hilbert@?... John Abbott

16:13 CoCoA-5 Support #768: Rename LogToTerm to MakeTerm

In the last comment I expressed concern about allowing the exp-vector to be shorter than the number of indets in the ... John Abbott

16:07 CoCoA-5 Support #629 (In Progress): Windows-GUI: compilation with MinGW

John Abbott

16:06 CoCoA-5 Support #629: Windows-GUI: compilation with MinGW

I have changed the target version for this issue; I suppose it is more or less permanent (i.e. has to be reconsidered... John Abbott

16:04 CoCoA-5 Support #322: Installation instructions (on website)

The instructions for GUI on Linux are missing -- it just says "to do".
John Abbott

15:58 CoCoA-5 Bug #519: GUI: fix DEFINES in makefile

Any news? Close? Change target version?
John Abbott

15 Feb 2016

13:57 CoCoALib Slug #842: PPMonoidSparse: comparisons are VERY SLOW

I have created a temporary hack to the code for the special case of @lex@ ordering. Essentially I have written a new... John Abbott

13:54 CoCoALib Slug #842 (New): PPMonoidSparse: comparisons are VERY SLOW

I have just tried with Mario to use @PPMonoidSparse@ rather than a normal dense repr (for a PPM with about 100 indets... John Abbott

02 Feb 2016

14:13 CoCoALib Design #816 (Closed): Rename isqrt to FloorSqrt (following ilog renaming to FloorLog)

Closing after 2 months in feedback.
John Abbott

12:36 CoCoALib Design #649 (Closed): Make SmallFpImpl safer to use

I have just checked the documentation, and it seems to be complete. So I'm marking this issue as closed. John Abbott

01 Feb 2016

14:23 CoCoALib Bug #776 (Closed): FloatStr prints a NUL character

No problems have surfaced in the last 5 months, so closing. John Abbott

14:21 CoCoALib Feature #747 (Closed): New function for making list of symbols (indeterminate names)

There's no real point in keeping this issue open. I've added a reference to this issue in the doc for @symbol@, just... John Abbott

13:38 CoCoALib Feature #747 (Feedback): New function for making list of symbols (indeterminate names)

This new fn @symbols@ has been working fine for at least 3 months, so I have deleted the old ones (both from @symbol.... John Abbott

27 Jan 2016

22:57 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)

I quite understand the concern about possible confusion.
I am also concerned about creating a "shadow" polyring fo... John Abbott

22:27 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)

John Abbott wrote:
> However a user might find it strange that an element of @FFq@ which prints out as @12*sqrt2-17@... Anna Maria Bigatti

21:16 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)

Printing of elems of a (non-prime) finite field needs to be sorted out.
In fact the way an element of a (non-prime... John Abbott

16:14 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)

Currently elements of a @RingFq@ print in a non-standard way. I think it is quite easy to read, so am happy to leave... John Abbott

16:12 CoCoALib Feature #664: Impl small non-prime finite fields (using logs)

Aha! Now you have to click on @Edit@ to add a new progress message (previously it was @Update@, IIRC).
I have add... John Abbott

23 Jan 2016

22:21 CoCoALib Design #841: NewPolyRing: tidy up the many different versions

I have not checked the actual code, but I think we could have abstract implementations myNewPolyRing dealing with the... Anna Maria Bigatti

20:48 CoCoALib Design #841 (In Progress): NewPolyRing: tidy up the many different versions

[after speaking to Anna]
Here is a possible design:
there is a single "very general" pseudo-ctor which is the only wa... John Abbott

21 Jan 2016

14:09 CoCoALib Design #841: NewPolyRing: tidy up the many different versions

I now notice that there are also 6 fns called @NewPolyRing_DMPI@ and 5 fns called @NewPolyRing_DMPII@; this gives a t... John Abbott

13:27 CoCoALib Design #841: NewPolyRing: tidy up the many different versions

JAA thinks that the best design would have all @NewPolyRing@ fns pass through a single "base" fn; so there would be j... John Abbott

13:09 CoCoALib Design #841 (In Progress): NewPolyRing: tidy up the many different versions

Currently (Jan 2016) there are many different fns called @NewPolyRing@ offering the caller the possibility to specify... John Abbott

20 Jan 2016

18:01 CoCoALib Feature #840: GINV: alex basis

We shall also need a data structure in CoCoALib to represent the alex basis (or alex-GB basis). What should this str... John Abbott

17:59 CoCoALib Feature #840: GINV: alex basis

Mario has already done a quick comparison between his impl of Janet basis and that in GINV (by Gerdt and Blinkov) - G... John Abbott

17:56 CoCoALib Feature #840 (In Progress): GINV: alex basis

Let some fns form GINV be callable from CoCoALib; in ptic "alex" basis.
John Abbott

18 Jan 2016

18:12 CoCoALib Bug #784: threadsafety: Scott Meyers's advice about cached values

Following on from the previous comment... here is how we can test whether the value has already been computed:... John Abbott

15:54 CoCoALib Bug #784: threadsafety: Scott Meyers's advice about cached values

Below is what I think would be the solution using @async@ and @shared_future@. It requires a single data-member of t... John Abbott

13:23 CoCoALib Bug #784: threadsafety: Scott Meyers's advice about cached values

Mario and I are reading about some of the new features in C++ (v.11 and v.14). To me it seems that a "deferred" @fut... John Abbott