Project

General

Profile

Activity

From 22 Mar 2017 to 20 Apr 2017

20 Apr 2017

10:04 Slug #1049: GroebnerFan: slow examples
John Abbott wrote:
> NOTE: this really ought to be a new issue... but hopefully Anna will fix it in a flash!
Emba...
Anna Maria Bigatti
10:02 Feature #780: GroebnerFan/ExternalLib-GFan: improve package
Abbott found this gives error (#1049)... Anna Maria Bigatti
09:32 Design #427: Error names and error messages (current design)
My current thoughts abou the design of errors is that CoCoALib errors will be represented as instances of very few di... John Abbott

19 Apr 2017

20:56 Slug #1049: GroebnerFan: slow examples
The following example fails:... John Abbott
16:41 Slug #1049: GroebnerFan: slow examples
Here are some @GroebnerFanIdeals@ examples which take a long time:... John Abbott
16:37 Slug #1049 (In Progress): GroebnerFan: slow examples
Possibly not too relevant to CoCoA(Lib), but I wanted to collect some challenging GFAN examples. John Abbott
14:40 Feature #765: ExternalLib-CDD: (needed by GFan)
I still have to intervene manually to make GFAN compile even when CDD has been installed (apparently correctly).
T...
John Abbott
14:30 Design #1019 (Feedback): CPP flags in installed library
CoCoALib now compiles fine with this new approach to handling CPP flags.
There remains a problem with the way (dod...
John Abbott
13:38 Feature #385: Design new errors using inheritance
Following on from my comment 14... well, assuming that we adopt that approach...
This means that practically all e...
John Abbott
08:28 Feature #385: Design new errors using inheritance
There are some notes about "classes of errors" in the CoCoALib documentation for error, section "=== new improved lis... Anna Maria Bigatti
08:13 Feature #385: Design new errors using inheritance
From another point of view (kind of bottom-up).
What we have now shows a few of these situations...
Anna Maria Bigatti
09:42 Design #427: Error names and error messages (current design)
I think that, while thinking of the design using inheritance, it would help to simplify the current design. If we de... Anna Maria Bigatti
08:39 Design #427: Error names and error messages (current design)
In the error messages there are some "is not" and some "must be"... Anna Maria Bigatti
08:36 Design #427 (In Progress): Error names and error messages (current design)
Anna Maria Bigatti
08:16 Design #427: Error names and error messages (current design)
Anna Maria Bigatti wrote:
> Many errors now are called *Not...* (e.g. *NotNonZero*) but that's ambiguous/confusing.
...
Anna Maria Bigatti
08:31 Feature #92 (In Progress): Error Codes
Anna Maria Bigatti

18 Apr 2017

22:54 Feature #385: Design new errors using inheritance
It seems that about 2 years ago I already had the idea that all exceptions originating from CoCoALib should be derive... John Abbott
17:49 Bug #1048 (Feedback): Several tests fail when threadsafe-hack is active
As soon as had I created this issue, I had an idea how to solve the problem...
There were some missing @#include "Co...
John Abbott
17:41 Bug #1048 (Closed): Several tests fail when threadsafe-hack is active
Several tests fail when CoCoALib has been configured with @--threadsafe-hack@.
All failures are of the type "non-zer...
John Abbott
12:09 Feature #730 (In Progress): Stats in GBMill (GReductor)
Studying and organizing the old @GRStats@ code by Max Caboara.
Now adapting it to @VerbosityLevel@.
Anna Maria Bigatti

14 Apr 2017

14:56 Feature #730: Stats in GBMill (GReductor)
This issue is about "Stats", i.e. gathering info about number of pairs, timings, etc.
This is strictly related with ...
Anna Maria Bigatti

13 Apr 2017

17:29 Feature #92: Error Codes
Anna Maria Bigatti wrote:
> There are some notes about "classes of errors" in the CoCoALib documentation for @error@...
Anna Maria Bigatti
17:17 Feature #92: Error Codes
There are some notes about "classes of errors" in the CoCoALib documentation for @error@, section "=== new improved l... Anna Maria Bigatti
17:20 Feature #743: Better errors: give supplementary info about the error
There are some notes about "classes of errors" in the CoCoALib documentation for error, section "=== new improved lis... Anna Maria Bigatti
14:56 Feature #743: Better errors: give supplementary info about the error
I agree that resolving this issue will take more time than we can invest in the next release.
I think it would be ...
John Abbott
14:31 Feature #743: Better errors: give supplementary info about the error
On the line of what I said earlier, I implemented in Interpreter.C the function @MESSAGE(err)@ to be called instead o... Anna Maria Bigatti
14:01 Feature #743: Better errors: give supplementary info about the error
John Abbott wrote:
> I agree that @BadArg@ is unhelpful. It would be nice to settle this matter, and it would be ni...
Anna Maria Bigatti
13:43 Feature #743: Better errors: give supplementary info about the error
I agree that @BadArg@ is unhelpful. It would be nice to settle this matter, and it would be nice to find some guidel... John Abbott
09:40 Feature #743 (In Progress): Better errors: give supplementary info about the error
I'm getting quite annoyed with getting @The arg(s) given are unsuitable@ in CoCoA-5: looks like being back at the CoC... Anna Maria Bigatti

10 Apr 2017

11:43 Slug #1042: LF curiously slow (breaking a poly into homog pieces)
I think this issue is relatively unimportant, hence the "low" priority.
I have put it on redmine just so that we do ...
John Abbott
11:29 Slug #1042: LF curiously slow (breaking a poly into homog pieces)
Here is a complete example:... John Abbott
11:25 Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
The following loop is curiously slow:... John Abbott
11:40 Support #1039: Rename iroot?
There is also a fn called *@IsExactIroot(ans, N,r)@*. It returns a @bool@, and puts into @ans@ the truncated integer... John Abbott

06 Apr 2017

18:04 Support #1039: Rename iroot?
"better safe than sorry"
the easiest and safest is to give an error when the input is negative.
Even though "Floor"...
Anna Maria Bigatti
15:20 Support #1039: Rename iroot?
John Abbott wrote:
> Currently @iroot@ computes the *truncated* integer part of the real root.
> For instance @iroo...
Anna Maria Bigatti
14:46 Support #1039 (In Progress): Rename iroot?
Currently @iroot@ computes the *truncated* integer part of the real root.
For instance @iroot(-30,3)@ gives @-3@ as ...
John Abbott
14:42 Support #1039 (Closed): Rename iroot?
Some time ago we renamed @ILog2@ to @FloorLog2@, and some other similar functions.
There is still a function *@iro...
John Abbott
06:01 Support #624: Wikipedia
Here is the "wiki":https://www.everipedia.com/CoCoA/
M Travis

05 Apr 2017

14:08 Feature #1036: LogStream: stream for log output
There is one aspect of the design which is not wholly satisfactory:
there is no safe way of sending logging output t...
John Abbott

04 Apr 2017

17:04 Feature #1035 (In Progress): Improvement: how to sort QuotientBasis?
First we should decide what the public interface is to be.
* One possibility is to have 2 fns *@QuotientBasis@* and ...
John Abbott

29 Mar 2017

18:25 Feature #931: GBasis verbose mode
Current setting seems satisfactory.
Documented in cocoa-5.... not in CoCoALib.
Can we avoid this duplication of doc...
Anna Maria Bigatti
18:21 Feature #961 (Closed): New function: ReducedGBasis
In conclusion: all done for the commutative case.
To do for non-commutative case (new issue).
Closing this one.
Anna Maria Bigatti
18:13 Support #953 (Closed): new file for old functions: obsolescent.C
Anna Maria Bigatti
18:09 Bug #971 (Closed): CheckForInterrupt does not work in the expected way
John Abbott
12:02 Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?
Solved by issue #1036 (which is a duplicate of this issue, but I created it because a search for "LogStream" found no... John Abbott
11:49 Feature #1036 (Feedback): LogStream: stream for log output
Already implemented: very simple. Written doc.
The only thing missing is an example.
John Abbott
11:48 Feature #1036 (Closed): LogStream: stream for log output
On which output stream should logging messages from CoCoALib be printed?
* @cout@ mixes logging messages with stan...
John Abbott

28 Mar 2017

22:32 Feature #206: Matrix equation solving: LinKer
Anna Maria Bigatti wrote:
> Add also the syntax @LinKer(L)@ where L is a list of linear polynomials.
Modified cou...
Anna Maria Bigatti
13:57 Feature #206: Matrix equation solving: LinKer
Add also the syntax @LinKer(L)@ where L is a list of linear polynomials. Anna Maria Bigatti
17:11 Feature #313: Elim(vector<long>) as PPOrderingCtor
Should we postpone this issue to the next version? John Abbott
16:56 Slug #1009: coefficients for MinPoly e Frobenius
Postpone to next version? John Abbott
13:43 Feature #1035 (Closed): Improvement: how to sort QuotientBasis?
QuotientBasis returns a list of power-products ordered by increasing lex (independently of the ordering in the ring).... Anna Maria Bigatti
 

Also available in: Atom