Project

General

Profile

Activity

From 08 Jun 2014 to 07 Jul 2014

07 Jul 2014

11:48 Feature #583 (New): New function for printing with extra information
In CoCoA-5 we have the command *@Describe@* for printing a detailed description of an object.
It would be useful to ...
Anna Maria Bigatti
09:36 Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
John Abbott wrote:
> (A) @Expected (element of) PolyRing@
this one!
Anna Maria Bigatti
09:29 Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
See also emails exchanged on 20140704 with subject "Opinion".
We need suitable wording for the combined error: how...
John Abbott
09:25 Design #582 (New): Error codes: use same code for "not poly ring" and "not elem poly ring"
Proposal: merge the two error codes @NotPolyRing@ and @NotElemPolyRing@.
Reasons:
(1) the distinction is really q...
John Abbott

04 Jul 2014

14:40 Design #581: C++14: MachineInt
It might be possible to use templates for the ctors of @MachineInt@ together with a mechanism for ensuring that the a... John Abbott
14:36 Design #581 (Closed): C++14: MachineInt
We must modify @MachineInt@ when switiching to C++14 because there is a new integral type: @(unsigned) long long@ John Abbott

03 Jul 2014

08:32 Feature #580 (Resolved): Example for PPVector: ex-PPVector
resurrected old example, improved, cvs-ed Anna Maria Bigatti

02 Jul 2014

14:28 Feature #580 (Closed): Example for PPVector: ex-PPVector
The doc for @PPVector@ refers to an example, @ex-PPVector.C@, but no such file exists.
John Abbott

01 Jul 2014

14:34 Bug #577 (Feedback): Hilbert crashes with > 100 indeterminates
fixed. Now using @CopyHPPower@ (copies the precomputed value or computes the correct one) instead of @HPPowerList@ (... Anna Maria Bigatti
14:04 Bug #577: Hilbert crashes with > 100 indeterminates
(sorry, I meant "101")
I found where the problem is (a hard limit = 100 in GlobalManager) and I am fixing it.
Anna Maria Bigatti
13:34 Bug #577: Hilbert crashes with > 100 indeterminates
I've just tried with my own "local" copy of C5; seems to work fine (even trying several times).
Platform is MacOSX 1...
John Abbott
12:42 Bug #577 (Closed): Hilbert crashes with > 100 indeterminates
... Anna Maria Bigatti

26 Jun 2014

16:54 Support #302: Compilation on M$Windows: Visual Studio
I tried the newest cvs version and CoCoALib does compile in 32 and 64 bit. I only had to change what I have reported ... Christof Soeger

25 Jun 2014

12:16 Feature #571 (Feedback): CmpAbs for RingElem
I have now added a new test, @test-RingElem4@, for @CmpAbs@ of @RingElem@. Will check in.
John Abbott

23 Jun 2014

17:40 Feature #575 (In Progress): Investigate using cmake for configuration
Christof is still trying to make @cmake@ behave well on MacOS; both static and dynamic libraries give (different) pro... John Abbott
17:34 Feature #573: Use symbolic links for external libraries
The symbolic link approach now seems to be working -- I even tried with a nasty directory name apparently without mis... John Abbott

20 Jun 2014

15:00 Feature #575: Investigate using cmake for configuration
John Abbott wrote:
> *Bad* it is not clear how to specify a custom "installation" of GMP instead of the standard sys...
Anna Maria Bigatti
09:18 Feature #575: Investigate using cmake for configuration
Christof has been investigating using @cmake@ for configuring normaliz/libnormaliz.
*Good* @cmake@ seems to handle...
John Abbott
09:10 Feature #575 (In Progress): Investigate using cmake for configuration
The @cmake@ program offers a platform independent "configuration" mechanism. In principle it could replace CoCoA's e... John Abbott

19 Jun 2014

17:53 Feature #573: Use symbolic links for external libraries
I thought I could be clever in @autoconf.mk@ and use @-lgsl@, @-lfrobby@ and so on.
*But* the linker does some strang...
John Abbott
17:00 Feature #573: Use symbolic links for external libraries
Here's a quite summary of the current situation (created entirely manually so far).
There's a new directory @configu...
John Abbott
15:27 Feature #573: Use symbolic links for external libraries
John Abbott wrote:
> I now think that the correct place for the external library directory is in @configuration/@.
...
Anna Maria Bigatti
15:15 Feature #573 (In Progress): Use symbolic links for external libraries
I now think that the correct place for the external library directory is in @configuration/@.
It may as well be ca...
John Abbott
11:22 Support #574 (Closed): Tidy CoCoA root directory
There are too many files/directories in the CoCoA root directory.
I think we can remove the GPLv2 file since there i...
John Abbott

18 Jun 2014

12:03 Feature #573 (Closed): Use symbolic links for external libraries
To avoid problems with "awkward" path names to external libraries, I suggest creating symbolic links (with nice names... John Abbott

14 Jun 2014

21:43 Feature #568 (Feedback): Valid symbol heads
All done. It is also easier now to change which chars are allowed as 1st of symbol head, and which are allowed after... John Abbott
21:38 Feature #571: CmpAbs for RingElem
Implemented & documented; no test yet.
Checked in by commenting out the other changes in @ring.C@
John Abbott
21:24 Feature #571: CmpAbs for RingElem
I have added a test and doc for @CmpAbs@ for @BigRat@ John Abbott
21:21 Feature #571 (In Progress): CmpAbs for RingElem
I have now checked in an impl for @BigRat@.
I have an impl for @RingElem@ but cannot yet check in (mixed up with oth...
John Abbott
19:57 Design #572 (New): Split SparsePolyRing.H into two files? Problem with circular includes.
I was unable to add a @JBMill@ field to a SparsePolyRingIdeal because of circular includes.
One solution would be ...
John Abbott

13 Jun 2014

08:03 Design #415: Remove AsPolyRing etc?
John Abbott wrote:
> It would be handy to have a ctor for @RingElem@ which accepts a @RingBase*@ instead of a @ring@;...
Anna Maria Bigatti

12 Jun 2014

19:30 Design #415: Remove AsPolyRing etc?
Everything compiles & all tests pass :-)
It would be handy to have a ctor for @RingElem@ which accepts a @RingBase...
John Abbott
14:18 Feature #571: CmpAbs for RingElem
Make sense.
We should also do the same (when someone asks ;-) for other functions which can be extended from BigInt ...
Anna Maria Bigatti
12:54 Feature #571: CmpAbs for RingElem
The current impl works only for int/BigInt. Not for @BigRat@ John Abbott
12:53 Feature #571 (Closed): CmpAbs for RingElem
We have the fn @CmpAbs@ for @BigInt@ and @BigRat@.
Mario would like it also for @RingElem@ (when it is an ordered do...
John Abbott
12:41 Feature #570: Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)
John Abbott wrote:
> which ring functions should be extended in this way?
I see this question in other terms: whi...
Anna Maria Bigatti
12:30 Feature #570 (New): Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)
Mario Albert said it would help make code shorter (and more readable) if one could write @PPM(f)@ instead of @PPM(own... John Abbott

11 Jun 2014

17:40 Design #415: Remove AsPolyRing etc?
I have managed to remove most of the need for @AsPolyRing@; will continue later this evening. John Abbott
16:04 Support #569 (New): Documentation for ReductionCog
The documentation for @ReductionCog@ need to be improved (and corrected?)
John Abbott
14:58 Feature #568: Valid symbol heads
John Abbott wrote:
> If we allow a wider range of heads, I suggest that any head may be indexed (rather than trying ...
Anna Maria Bigatti

10 Jun 2014

19:19 Feature #568: Valid symbol heads
If we allow a wider range of heads, I suggest that any head may be indexed (rather than trying to introduce some arca... John Abbott
19:15 Feature #568: Valid symbol heads
I modified Mario's copy of CoCoALib so that it would accept digits in symbol heads; everything seemed to work fine. ... John Abbott
19:13 Feature #568 (In Progress): Valid symbol heads
Mario has a fairly large database (several hundred entries) of polynomial sets which he wants to test using CoCoALib.... John Abbott
19:05 Feature #568 (Closed): Valid symbol heads
Currently symbol heads must start with a letter and contain letters and underscores.
Mario Albert would find it ve...
John Abbott
 

Also available in: Atom