Project

General

Profile

Activity

From 04 Sep 2014 to 03 Oct 2014

03 Oct 2014

12:03 Support #632: MacOSX: many warnings with compiler CLANG/LLVM when compiling BOOST code.
I have revised some impls in @CoCoALibSupplement.C@ to avoid some warnings by Clang/LLVM; the problem derived from th... John Abbott
12:00 Support #632: MacOSX: many warnings with compiler CLANG/LLVM when compiling BOOST code.
Currently the edit has to be done by hand.
Is it worth trying to add the flag automatically? (_e.g._ during config...
John Abbott
11:57 Support #632 (Closed): MacOSX: many warnings with compiler CLANG/LLVM when compiling BOOST code.
Recent MacOSX compilers produce lots of (spurious?) warnings when compiling BOOST code.
The warnings can be suppre...
John Abbott

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
 

Also available in: Atom