CoCoA » CoCoA-5

16 Feb 2016

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

Anna Maria Bigatti

16:51 Feature #751: description of a RING

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

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

Anna Maria Bigatti

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

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

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

Anna Maria Bigatti

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

Can we close this issue?
John Abbott

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

done and documented Anna Maria Bigatti

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

Anna Maria Bigatti

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

Anna Maria Bigatti

17:33 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 Support #616 (Closed): Release: CoCoA-5.1.2

Anna Maria Bigatti

16:02 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 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 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 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 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 Support #629 (In Progress): Windows-GUI: compilation with MinGW

John Abbott

16:06 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 Support #322: Installation instructions (on website)

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

15:58 Bug #519: GUI: fix DEFINES in makefile

Any news? Close? Change target version?
John Abbott