Activity
From 02 Sep 2014 to 01 Oct 2014
26 Sep 2014
-
15:40 CoCoALib Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C)
- Apple LLVM version 6.0 (Laura's new computer) reports that @rank@ is ambiguous in @ex-matrix1.C@
25 Sep 2014
-
16:10 CoCoALib Feature #630 (Closed): Add graeffe function?
- Add a new fn @graeffe@ which transforms a polynomial into one whose roots are the squares of the root of the original...
-
14:35 CoCoA-5 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... -
13:44 CoCoA-5 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... -
13:43 CoCoA-5 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-... -
11:13 CoCoA-5 Support #629 (In Progress): Windows-GUI: compilation with MinGW
- Instructions on how to compile with MinGW (including GUI)
23 Sep 2014
-
16:30 CoCoALib Feature #627: Gaussian integer and rationals ZZi, QQi
- Recalling that every ring (except @RingZZ@) in CoCoALib has a @BaseRing@ and an "extension type". What should the @B...
-
11:40 CoCoALib Feature #627: Gaussian integer and rationals ZZi, QQi
- What should be the internal representation of an element of @QQ[i]@?
# a pair of @BigRat@ values (real and imag part...
22 Sep 2014
-
18:16 CoCoALib Feature #628 (New): Complex twin-floats
- Ulrich would like to compute with (approximations to) complex numbers.
Can twin-floats be extended to complexes? ... -
18:15 CoCoALib Feature #627 (New): Gaussian integer and rationals ZZi, QQi
- Ulrich would like to have an easy way to compute with (approximations to) complex numbers.
Currently, it is possib...
17 Sep 2014
-
17:27 CoCoA-5 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 ... -
13:11 CoCoA-5 Feature #626 (New): Output Betti numbers
- Taken from an email of 20140709:...
16 Sep 2014
-
13:44 CoCoALib Design #620: Redesign CRTMill
- Maybe the @vector@ version needs a little more thought.
In a deterministic algorithm, where we lift to an _a prior... -
13:26 CoCoALib Feature #625: NumTheory: sieve of Eratosthenes
- I have now checked in the code.
15 Sep 2014
-
23:59 CoCoALib Feature #625: NumTheory: sieve of Eratosthenes
- Added maintainer doc, test (seems its was needed), and example (a bit difficult).
-
23:20 CoCoALib Feature #625 (Feedback): NumTheory: sieve of Eratosthenes
- Implemented, and added some doc.
Still need to do: maintainer doc, test, example.
-
23:19 CoCoALib Feature #625 (Closed): NumTheory: sieve of Eratosthenes
- In an example I needed a table like the Sieve of Eratosthenes. So I've implemented it, and added it to CoCoALib.
... -
18:06 CoCoA-5 Support #605 (Closed): Release: CoCoA-5.1.1
-
18:06 CoCoA-5 Support #605: Release: CoCoA-5.1.1
- Compilation of GUI for windows by Jan Limbeck (thanks!)
tested, worked, published!
all done now
-
18:03 Support #266 (Closed): Compilation on M$Windows: cygwin
-
18:02 Support #266: Compilation on M$Windows: cygwin
- what was done, was done (now closing)
-
12:04 CoCoALib Feature #400: add myJBMill member field to ideal
- John Abbott wrote:
> I found this is an email message (from me) of 20140613:
> (1) you cannot have a data member of... -
11:21 CoCoALib Feature #400: add myJBMill member field to ideal
- I found this is an email message (from me) of 20140613:...
13 Sep 2014
-
23:47 CoCoALib Design #620: Redesign CRTMill
- It could be interesting to have a @vector@ version of @CRTMill@ which accepts vectors of residues along with a single...
12 Sep 2014
-
17:29 CoCoA-5 Support #605 (Resolved): Release: CoCoA-5.1.1
-
16:55 CoCoALib Design #620: Redesign CRTMill
- I have had a quick look at documentation for NTL and FLINT.
NTL has a very simple interface (like the existing one f... -
16:53 CoCoALib Support #624 (New): Wikipedia
- Improve the Wikipedia entry about CoCoA.
-
11:14 CoCoALib Feature #623 (Closed): Inverse of a matrix over ZZ
- Inverse of a matrix over QQ works fine.
Fix code so that it works for invertible matrices over ZZ.
(I have a big ex... -
10:43 CoCoA-5 Feature #622: New function: RandomSubset
- done. still missing: documentation, tests.
Would it be useful in CoCoALib? maybe just a random subset of 1..n? -
10:38 CoCoA-5 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...
11 Sep 2014
-
17:51 CoCoA-5 Bug #519: GUI: fix DEFINES in makefile
- Anna has asked Limbeck to attempt compilation -- waiting for his feedback.
-
17:49 CoCoA-5 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... -
17:43 CoCoA-5 Feature #484 (Closed): Evaluate in other ring (was called :: in CoCoA-4)
-
17:42 CoCoA-5 Feature #270 (Closed): Distribution for linux
-
17:40 CoCoA-5 Support #541 (Closed): Unify releases for Linux 32 and Linux 64
-
17:40 CoCoA-5 Feature #245 (Closed): Meaningful error for functions defined in "missing" external library
-
17:39 CoCoA-5 Feature #204 (Closed): NmzComputation: the powerful NormalizComputation function in CoCoA-5
-
17:38 CoCoA-5 Bug #104 (Closed): Misprints suggestions: Z --> ZZ
-
17:20 CoCoALib Bug #190 (Closed): Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
-
16:53 CoCoALib Support #604 (In Progress): Release: CoCoALib-0.99535
-
16:52 CoCoALib Support #621 (New): Release: CoCoALib-0.99536
-
16:41 CoCoALib Support #621 (Closed): Release: CoCoALib-0.99536
- Everything related to making a CoCoALib release:
finalize
make veryclean; make (full make, with all tests and ex... -
16:37 CoCoALib Support #599 (Closed): Release: CoCoALib-0.99534
-
15:59 CoCoALib Design #620: Redesign CRTMill
- I expect the main case of adding residue-modulus pairs is when both are machine @long@ values, and we could reasonabl...
-
15:40 CoCoALib Design #620 (In Progress): Redesign CRTMill
- I envisage two types of use of a @CRTMill@:
# keep adding residue-modulus pairs until the combined modulus exceeds an... -
12:47 CoCoALib Design #620 (In Progress): Redesign CRTMill
- I have some ideas for alternative implementations of @CRTMill@, but they do not fit well with the current user interf...
-
12:37 CoCoALib Design #619: Modulus (for CRTMill) ambiguous
- An obvious "solution" is to put @using CoCoA::modulus@ somewhere inside the function which calls it. Just about acce...
09 Sep 2014
-
16:20 CoCoALib Support #618 (In Progress): Instructions for compiling libnormaliz
-
12:08 CoCoALib Support #618: Instructions for compiling libnormaliz
- This is what I did (on Mac)
- create a build dir, cd into it, run cmake.
This is what I did... -
11:34 CoCoALib Support #618 (Closed): Instructions for compiling libnormaliz
- Collection of instructions for compiling normaliz.
(keep up-to-date) -
15:25 CoCoALib Design #619: Modulus (for CRTMill) ambiguous
- I do not understand why the compiler thinks that @modulus(crt)@ is ambiguous.
There is an STL template fn @modulus@,... -
15:22 CoCoALib Design #619 (Closed): Modulus (for CRTMill) ambiguous
- The type @CRTMill@ has an associated function @modulus(const CRTMill&)@; however calling the function the obvious way...
-
12:21 CoCoALib Feature #617: configure: check all libraries for compatibility
- The advantage of a single test is that it is easier to manage and maintain.
The advantage of a separate test for eac...
08 Sep 2014
-
17:41 CoCoALib Bug #593: Temporary directories used during configuration
- I'll probably also need a script to tidy up temp dirs left by the current scripts... :-(
-
17:11 CoCoALib Feature #617 (New): configure: check all libraries for compatibility
- Currently the configuration scripts check that the BOOST libraries are compatible with @libgmp@, but there are no oth...
-
12:46 CoCoA-5 Support #605: Release: CoCoA-5.1.1
- Done for macos > 10.6 and for linux 64bit
05 Sep 2014
-
16:54 CoCoA-5 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... -
16:14 CoCoA-5 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...
-
11:51 CoCoA-5 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... -
11:43 CoCoA-5 Design #307 (Closed): Value::from makes BigIntValue::fromInt obsolete?
-
11:38 CoCoA-5 Support #456 (Closed): CoCoAManual: New structure for manual?
-
11:20 CoCoA-5 Feature #615 (Closed): Resume MayerVietorisTreeN1
- Done
-
11:19 CoCoA-5 Feature #615 (Closed): Resume MayerVietorisTreeN1
- Add MayerVietorisTreeN1 to CoCoA-5
04 Sep 2014
-
18:31 CoCoA-5 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... -
16:55 CoCoALib Support #613: Which ubuntu / debian packages are needed to compile CoCoA
- I just tested it with a fresh live usbdrive system and it works with exactly the packages I listed with the cvs versi...
-
14:46 CoCoALib Support #613: Which ubuntu / debian packages are needed to compile CoCoA
- I have just tried on a fresh Ubuntu 14.04 installation, and the @libboost@ packages were apparently not enough (my sc...
-
12:01 CoCoALib Support #613 (In Progress): Which ubuntu / debian packages are needed to compile CoCoA
- [found this on @askubuntu@]
You could use the output of dpkg -s <packagename> or dpkg-query -l <packagename>
in y... -
14:05 CoCoA-5 Feature #614 (In Progress): Add functions based on MayerVietorisTree
-
14:04 CoCoA-5 Feature #614: Add functions based on MayerVietorisTree
- Added ...
-
14:03 CoCoA-5 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. -
12:54 CoCoA-5 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... -
12:39 CoCoA-5 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).
-
12:32 CoCoA-5 Design #595 (Closed): rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
-
12:29 CoCoA-5 Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5
-
12:22 CoCoA-5 Support #286 (Closed): How to test (automatically) a user defined CoCoA function
-
12:18 CoCoA-5 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...
-
12:05 CoCoA-5 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.
03 Sep 2014
-
18:25 CoCoA-5 Bug #279 (Closed): Bug in Radical (actually a RingHom problem)
-
16:04 CoCoA-5 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...
-
12:41 CoCoA-5 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... -
16:00 CoCoA-5 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...
-
15:20 CoCoA-5 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... -
15:03 CoCoA-5 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:...
-
15:04 CoCoA-5 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...
-
11:34 CoCoA-5 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, ...
-
10:32 CoCoA-5 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...
-
07:55 CoCoA-5 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... -
13:43 CoCoA-5 Feature #608 (Closed): Emacs UI: C-return for send-line and send-region
- Anna's happy, so closing. I hope it is documented somewhere.
-
13:40 CoCoA-5 Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?
-
13:39 CoCoA-5 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... -
13:35 CoCoA-5 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...
-
12:36 CoCoA-5 Feature #553 (Closed): Port function MantissaAndExponent2
-
12:19 CoCoA-5 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 ... -
07:47 CoCoA-5 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... -
12:04 CoCoALib Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA
- I it can be useful to collect which packages have to be installed to make it easy to compile CoCoALib, the interprete...
-
11:40 CoCoA-5 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 ...
02 Sep 2014
-
23:46 CoCoA-5 Bug #321: interpreter proposes no near misses for "bin"
- I propose the following variation on current behaviour:
* the suggested names should be in order of increasing _leven... -
14:06 CoCoA-5 Bug #321: interpreter proposes no near misses for "bin"
- The place to intervene appears to be @Interpreter.C:2775@ in the function @collectSimilarlyNamedIdentifiers@. The pr...
-
23:34 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- The "shifting" of the indices by 1 could be awkward. I can think of two ways to resolve the matter:
* put the *firs... -
18:37 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- added Value::from(QuasiPoly).
... keep in mind that indices in the LIST representing a QuasiPoly start from 1 in CoC... -
11:55 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Almost, I just checked it and the HilbertQuasiPolynomial is not returned at the moment. What is missing is a Value::f...
-
11:23 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- @Christof: is this issue resolved/complete/closable???
-
17:46 CoCoA-5 Feature #245 (Resolved): Meaningful error for functions defined in "missing" external library
- I applied John's suggestion.
I'd rather find an "automatic" solution (so that we don't risk forgetting or misspellin... -
16:01 CoCoA-5 Bug #275: Unhelpful error messages when SmallExponent_t is unsigned char.
- I have just (20140902) checked using @typedef unsigned short SmallExponent_t;@ and everything worked fine.
*Reminder... -
14:59 CoCoA-5 Bug #275 (In Progress): Unhelpful error messages when SmallExponent_t is unsigned char.
- I have just retried the experiment. Several CoCoALib tests fail:...
-
15:37 CoCoA-5 Bug #611 (New): GUI: qutting provokes Imminent Disaster
- Found in an old email (20101119).
After starting the C5GUI from the command line, when quitting by selecting the a... -
15:33 CoCoA-5 Design #610 (Closed): Variable It: assign before or after printing
- I found this is an old email (20101119).
Currently given a freestanding top-level expr C5 evaluates it,
prints th... -
14:11 CoCoA-5 Support #240: GUI compilation: GMP is not naturally thread-safe
- JAA has confirmed (20140902) that the problem persists (with GMP 6.0.0 built without the @--disable-alloca@ flag).
-
12:51 CoCoA-5 Bug #104: Misprints suggestions: Z --> ZZ
- I have just tried increasing to 1 the max distance for length 1 identifiers. Not sure whether I like the result. He...
-
11:30 CoCoA-5 Bug #34 (Closed): CoCoAManual: obsolete entries in the manual
-
11:21 CoCoA-5 Feature #561 (Closed): Emacs UI: unrecognized keywords (ImportByValue...)
-
11:10 CoCoA-5 Bug #433 (Closed): EMACS UI: trouble with sending a long line
- Accept my solution (already checked in):
* lines longer than 999 chars are sent using @SourceRegion@
* do not worry... -
11:08 CoCoA-5 Design #546 (Closed): ideal wants LIST of RINGELEM
- After discussing with Anna we have decided to accept the current solution: i.e. that @ideal([x,0,y])@ works as desire...
-
11:03 CoCoA-5 Bug #594 (Closed): CharPoly(MAT) and MinPoly(MAT) work in different settings: unify behaviaour
-
11:02 CoCoA-5 Design #607 (Closed): Emacs UI; remove send-buffer?
- Done, checked in, tested... seems fine... closing
-
10:53 CoCoA-5 Support #290 (In Progress): Which functions are defined in CoCoALibSupplement?
-
08:40 CoCoA-5 Design #307 (Feedback): Value::from makes BigIntValue::fromInt obsolete?
- I seems it is all done now.
The only call of @fromBool@ is in @Value::from@. -
08:28 CoCoA-5 Feature #588: Resume code for "gin" (generic initial ideal)
- John Abbott wrote:
> I notice that the current definition will sometimes (almost never?) print out a message about t...
Also available in: Atom