Project

General

Profile

Activity

From 29 Mar 2017 to 27 Apr 2017

27 Apr 2017

18:21 Feature #1050: ExternalLibs: function for getting info
Anna Maria Bigatti wrote:
> But I think useful (in addition) the actual name of the "lib" file, together with the st...
Anna Maria Bigatti
08:46 Feature #1050: ExternalLibs: function for getting info
I compiled and it works fine.
I don't much like the "lib" names:...
Anna Maria Bigatti
17:35 Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
updated all examples Anna Maria Bigatti
15:54 Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
Done, documented, tested.
RingElem is better than ReadExpr because it highlights it is just for *one* RingElem.
Anna Maria Bigatti
15:01 Feature #1016 (Feedback): ReducedGBasis for RingWeyl (and other non-commutative rings)
I think this is done automatically.
I did not write an example, but I think the problem was about a bug in the inter...
Anna Maria Bigatti

26 Apr 2017

22:35 Feature #1050: ExternalLibs: function for getting info
Found missing include.
Also added mathsat and gsl
Anna Maria Bigatti
18:55 Feature #1050: ExternalLibs: function for getting info
It says:... Anna Maria Bigatti
17:44 Feature #1050 (Feedback): ExternalLibs: function for getting info
I have checked in some documentation.
John Abbott
17:04 Feature #1050 (Resolved): ExternalLibs: function for getting info
I have just checked-in my implementation (after some cleaning).
I have also modified @src/CoCoA-5/Banner.C@ so that ...
John Abbott
14:20 Feature #1050: ExternalLibs: function for getting info
John Abbott wrote:
> We could simply set the field to @UNKNOWN@ or maybe @Unknown but >= v2.3.4@
OK
Anna Maria Bigatti
14:10 Feature #1050: ExternalLibs: function for getting info
I am not yet convinced that having 2 fields is a good idea.
We could simply set the field to @UNKNOWN@ or maybe @U...
John Abbott
09:41 Feature #1050: ExternalLibs: function for getting info
John Abbott wrote:
> I have a first prototype (sent to Anna by email). Currently, it is just a program in @examples...
Anna Maria Bigatti
09:36 Feature #1050: ExternalLibs: function for getting info
John Abbott wrote:
> An alternative file in which to put the function(s) is *@BuildInfo.H/C@*.
> Advantage: no need...
Anna Maria Bigatti
21:56 Feature #1053: New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
John Abbott wrote:
> Is the intention that the gens given are *the reduced GBasis* (wrt ring ordering)?
Good ques...
Anna Maria Bigatti
19:56 Feature #1053: New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
Is the intention that the gens given are *the reduced GBasis* (wrt ring ordering)?
Or do you want to allow any GBasi...
John Abbott
18:02 Feature #1053 (Feedback): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
Moved from cocoa-5 to cocoalib, updated calling code, and documented. Anna Maria Bigatti
18:00 Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
port these 2 functions in cocoalib. Anna Maria Bigatti
18:00 Slug #1049: GroebnerFan: slow examples
Here are some examples with binomial ideals:... John Abbott
15:31 Slug #1049 (In Progress): GroebnerFan: slow examples
Here is a strange example:... John Abbott
15:01 Feature #931 (Feedback): GBasis verbose mode
Verbosity is also related to printing final statistics (#730).
That might change, but the basic progress information...
Anna Maria Bigatti
14:51 Feature #931: GBasis verbose mode
I cleaned up the code a bit, and settled some values for verbosity.
100 and 101 give some basic informations, for al...
Anna Maria Bigatti
14:57 Feature #730: Stats in GBMill (GReductor)
Current version is OK, probably not final but acceptable for version 99550/5.2.0 Anna Maria Bigatti
14:26 Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
John Abbott wrote:
> If in CoCoA-5 we are happy to have @RingElem(P, str)@ do what @ReadExpr(P, str)@ currently does...
Anna Maria Bigatti
13:52 Feature #1052 (In Progress): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
We should try to keep CoCoALib similar to CoCoA-5 (or make CoCoALib simpler if it is different from CoCoA-5).
If i...
John Abbott
12:23 Feature #1052 (Closed): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
Should we have in CoCoALib (as in CoCoA-5) @RingElem(P, string)@ behaving like @ReadExpr(P, string)@?
Currently ther...
Anna Maria Bigatti

24 Apr 2017

17:55 Design #1019 (Closed): CPP flags in installed library
I am now sufficiently convinced by the current design that I am closing this issue.
The flags in @PREPROCESSOR_DEFNS...
John Abbott
17:37 Feature #1050: ExternalLibs: function for getting info
I have a first prototype (sent to Anna by email). Currently, it is just a program in @examples/@.
The main proble...
John Abbott
14:39 Feature #1050: ExternalLibs: function for getting info
An alternative file in which to put the function(s) is *@BuildInfo.H/C@*.
Advantage: no need to create any new fil...
John Abbott
14:21 Feature #1050 (In Progress): ExternalLibs: function for getting info
I propose putting the new function(s) in a new file called @ExternalLibs.H@ (and @ExternalLibs.C@ of course!).
This ...
John Abbott
14:14 Feature #1050 (Closed): ExternalLibs: function for getting info
I propose a new feature: CoCoALib should offer a function(s) for finding out which "external libraries" have been com... John Abbott

22 Apr 2017

23:23 Design #1019: CPP flags in installed library
Can we close this issue and open a new one about the problem of CoCoA-5 not seeing which external libs are in CoCoALi... John Abbott
23:19 Design #829: PPOrderingCtor: name of mem fn which actually constructs?
Anna, you have not answered my question in comment 6: whether to make obsolescent @NewLexOrdering@ John Abbott
23:09 Design #822 (Feedback): Should ElimMat return a ConstMatrix
The current code works without any apparent problems, so we can just accept it as it is. It may not be the best desi... John Abbott
23:03 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
I am hoping this can be completed very soon (within a week?).
I have just run @make valgrind@ in @src/tests/@ and ...
John Abbott
22:57 Feature #357: Constructor for vectors? CoCoAVector
Anna, can we postpone this to the next release?
I think that the problem I mentioned in comment 14 means that this...
John Abbott
22:55 Bug #1004 (Closed): In scripts: use portable test for absolute paths
Closing after 2 months in feedback without any problems being reported.
John Abbott
22:52 Feature #1036 (Closed): LogStream: stream for log output
I have redesigned the interface to use a RAII-style approach. Documentation and example has been updated.
So the do...
John Abbott
22:46 Feature #1008 (Closed): square function
The solution is: *we do not define a @square@ function*. Use @power(...,2)@ instead!
John Abbott
22:43 Bug #1048 (Closed): Several tests fail when threadsafe-hack is active
Closing because it has been properly solved. I hope I'll be more careful next time... if there is a next time. John Abbott
22:42 Bug #1015 (Closed): Bruns SEGV: SparsePolyIter/DMPI problem
Regarding this as solved by issue #1019. Closing. John Abbott

21 Apr 2017

22:52 Feature #357: Constructor for vectors? CoCoAVector
The example use in @ex-RingHom4.C@ did not work properly:... John Abbott
17:59 Design #427: Error names and error messages (current design)
.... just to explain what I'm doing and why: I'm doing some other things, and making mistakes (.... ehm... I'm making... Anna Maria Bigatti
17:57 Design #427: Error names and error messages (current design)
I simplified a few error messages and clarified error for @PolyRingHom@. Excerpt (... Anna Maria Bigatti
17:08 Feature #961 (Closed): New function: ReducedGBasis
Anna Maria Bigatti
15:32 Feature #961: New function: ReducedGBasis
I checked the example in https://cocoa.dima.unige.it/redmine/issues/418.
I convinced myself that this cannot happen ...
Anna Maria Bigatti
15:14 Feature #961: New function: ReducedGBasis
Subtle.... I think there were two problems: I fixed one (now repeating the cycle if a new LPP is found during interre... Anna Maria Bigatti
11:09 Feature #961 (Resolved): New function: ReducedGBasis
Found bug in interreduction.... Anna Maria Bigatti

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
 

Also available in: Atom