CoCoA » CoCoA-5

25 Sep 2014

14:35 Support #629: Windows-GUI: compilation with MinGW

== Download and unpack Boost 1.56
http://sourceforge.net/projects/boost/files/boost/1.56.0/
start bootstrap.bat g... Anna Maria Bigatti

13:44 Support #629: Windows-GUI: compilation with MinGW

== Download and unpack GMP 6.0.0a
https://gmplib.org/download/gmp/gmp-6.0.0a.tar.lz
(might need to install zlib... Anna Maria Bigatti

13:43 Support #629: Windows-GUI: compilation with MinGW

(Following and updating Jan Limbeck's notes)
== Download QT 5.3.2 32 Bit with MinGW compiler
http://download.qt-... Anna Maria Bigatti

11:13 Support #629 (In Progress): Windows-GUI: compilation with MinGW

Instructions on how to compile with MinGW (including GUI) Anna Maria Bigatti

17 Sep 2014

17:27 Bug #612: The C5 gui does not exit properly when using the exit menu entry

This is a known bug. We had looked for it ages ago (obviously without success).
The bug appears to be "minor" in ... John Abbott

13:11 Feature #626 (New): Output Betti numbers

Taken from an email of 20140709:... John Abbott

15 Sep 2014

18:06 Support #605 (Closed): Release: CoCoA-5.1.1

Anna Maria Bigatti

18:06 Support #605: Release: CoCoA-5.1.1

Compilation of GUI for windows by Jan Limbeck (thanks!)
tested, worked, published!
all done now
Anna Maria Bigatti

12 Sep 2014

17:29 Support #605 (Resolved): Release: CoCoA-5.1.1

Anna Maria Bigatti

10:43 Feature #622: New function: RandomSubset

done. still missing: documentation, tests.
Would it be useful in CoCoALib? maybe just a random subset of 1..n? Anna Maria Bigatti

10:38 Feature #622 (Closed): New function: RandomSubset

Sometimes "all subsets" are far too many (compute how many! ;-) to fit into memory.
So checking a property on a suit... Anna Maria Bigatti

11 Sep 2014

17:51 Bug #519: GUI: fix DEFINES in makefile

Anna has asked Limbeck to attempt compilation -- waiting for his feedback.
John Abbott

17:49 Support #605: Release: CoCoA-5.1.1

Missing C5 GUI for linux (will probably not happen -- too many problems with QT).
Missing C5 GUI for Microsoft (hopi... John Abbott

17:43 Feature #484 (Closed): Evaluate in other ring (was called :: in CoCoA-4)

John Abbott

17:42 Feature #270 (Closed): Distribution for linux

John Abbott

17:40 Support #541 (Closed): Unify releases for Linux 32 and Linux 64

John Abbott

17:40 Feature #245 (Closed): Meaningful error for functions defined in "missing" external library

John Abbott

17:39 Feature #204 (Closed): NmzComputation: the powerful NormalizComputation function in CoCoA-5

John Abbott

17:38 Bug #104 (Closed): Misprints suggestions: Z --> ZZ

John Abbott

08 Sep 2014

12:46 Support #605: Release: CoCoA-5.1.1

Done for macos > 10.6 and for linux 64bit Anna Maria Bigatti

05 Sep 2014

16:54 Support #616 (Closed): Release: CoCoA-5.1.2

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

16:14 Bug #104 (Feedback): Misprints suggestions: Z --> ZZ

After a last look at the code I agreed with John's choice (2) in mesg 1: just to add the very special cases for "Z" a... Anna Maria Bigatti

11:51 Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type

Documented in
http://cocoa.dima.unige.it/cocoalib/doc/html/BuiltInFunctions.html
and in ICMS slides
https://www.rese... Anna Maria Bigatti

11:43 Design #307 (Closed): Value::from makes BigIntValue::fromInt obsolete?

Anna Maria Bigatti

11:38 Support #456 (Closed): CoCoAManual: New structure for manual?

Anna Maria Bigatti

11:20 Feature #615 (Closed): Resume MayerVietorisTreeN1

Done Anna Maria Bigatti

11:19 Feature #615 (Closed): Resume MayerVietorisTreeN1

Add MayerVietorisTreeN1 to CoCoA-5 Anna Maria Bigatti

04 Sep 2014

18:31 Support #556 (Closed): CoCoAManual: improve part on tagging

Checked how it works (I didn't know myself...), moved chapter in "types" (instead of "input/output").
Not perfect, b... Anna Maria Bigatti

14:05 Feature #614 (In Progress): Add functions based on MayerVietorisTree

Anna Maria Bigatti

14:04 Feature #614: Add functions based on MayerVietorisTree

Added ... Anna Maria Bigatti

14:03 Feature #614 (In Progress): Add functions based on MayerVietorisTree

CoCoA-4 had quite a few functions based on MayerVietorisTree (via CoCoAServer).
Port them properly in CoCoA-5. Anna Maria Bigatti

12:54 Bug #321 (Closed): interpreter proposes no near misses for "bin"

After some testing Anna and John approve the idea in comment 8 (already implemented).
We have also increased the m... John Abbott

12:39 Support #338 (Closed): MacOS version with static gcc libraries

Since Mac OS X 10.5 is now more than 5 years old, we have decided to stop worrying about it (for the binary releases).
John Abbott

12:32 Design #595 (Closed): rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?

John Abbott

12:29 Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5

John Abbott

12:22 Support #286 (Closed): How to test (automatically) a user defined CoCoA function

John Abbott

12:18 Bug #552 (Closed): C5 BuiltinFunctions.c fn RingElem

Anna explains that the ugly interface was devised to allow a C5 user to create another poly ring whose indets have th... John Abbott

12:05 Bug #132 (Closed): BringIn should allow reduction modulo p

Closing even though it only partly resolves the problems with @BringIn@. I'll create a new, more precise issue. John Abbott

03 Sep 2014

18:25 Bug #279 (Closed): Bug in Radical (actually a RingHom problem)

Anna Maria Bigatti

16:04 Support #541 (Resolved): Unify releases for Linux 32 and Linux 64

I think we've practically resolved this. If Oscar updates his system in the next few days, we'll confirm that everyt... John Abbott

12:41 Support #541: Unify releases for Linux 32 and Linux 64

Wouldn't compiling with static versions of the libraries solve the problem?
Or perhaps we could distribute with cop... John Abbott

16:00 Design #549 (Closed): Automatic conversion from RINGELEM to INT or RAT

Since the current code has been running without problems for 4+ months, I'm closing. If further closely related issu... John Abbott

15:20 Design #549: Automatic conversion from RINGELEM to INT or RAT

Here are what I think are the potentially doubtful cases for @INT@:
* @binomial@, @BinomialRepr@, @BinomialReprShift... John Abbott

15:03 Design #549: Automatic conversion from RINGELEM to INT or RAT

Here are the fns which can be applied to @RAT@ according to the C5 online help system:... John Abbott

15:04 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

I implemented a NmzEvaluateHilbertQuasiPolynomial method. It is very close to the implementation for QuasiPoly in coc... Christof Soeger

11:34 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

I'm unsure. I think in any case we also need an evaluate function like in the library. We have to rewrite it anyway, ... Christof Soeger

10:32 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

I think this is different because the mathematical structure is indexed by elements of @ZZ/(n)@ rather than indices 1... John Abbott

07:55 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5

John Abbott wrote:
> The "shifting" of the indices by 1 could be awkward. I can think of two ways to resolve the ma... Anna Maria Bigatti

13:43 Feature #608 (Closed): Emacs UI: C-return for send-line and send-region

Anna's happy, so closing. I hope it is documented somewhere.
John Abbott

13:40 Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?

John Abbott

13:39 Support #609 (Closed): Package "empty.cpkg5"

The package is there; let's see how it works (_i.e._ users find it a helpful adjunct to the documentation).
Closin... John Abbott

13:35 Support #548: Printing rings with ID

I think the current implementation is adequate (rather than fully satisfactory); but I'd like time to think more abou... John Abbott

12:36 Feature #553 (Closed): Port function MantissaAndExponent2

John Abbott

12:19 Bug #321: interpreter proposes no near misses for "bin"

I now have a first impl.
* changed the use of @std::set@ into @set::vector@
* implemented the idea of printing the ... John Abbott

07:47 Bug #321: interpreter proposes no near misses for "bin"

John Abbott wrote:
> I propose the following variation on current behaviour:
> * the suggested names should be in o... Anna Maria Bigatti

11:40 Bug #612 (Closed): The C5 gui does not exit properly when using the exit menu entry

When I close the C5 gui via the menu or the "x" button I get ... Christof Soeger