Activity
From 26 Mar 2017 to 24 Apr 2017
24 Apr 2017
- 18:11 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- Currently implemented 2, meaningful error message.
- 17:15 CoCoA-5 Design #1051 (Closed): ReadExpr(P, string) and RingElem(P, string)
- In cocoalib we have ReadExpr(P, *string*) and RingElem(P, *symbol*), but in cocoa-5 they both take a string.
I spent... - 17:55 CoCoALib 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... - 17:37 CoCoALib 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... - 14:39 CoCoALib 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... - 14:21 CoCoALib 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 ... - 14:14 CoCoALib 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...
22 Apr 2017
- 23:23 CoCoALib 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...
- 23:19 CoCoALib 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@
- 23:09 CoCoALib 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...
- 23:03 CoCoALib 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 ... - 22:57 CoCoALib 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... - 22:55 CoCoALib Bug #1004 (Closed): In scripts: use portable test for absolute paths
- Closing after 2 months in feedback without any problems being reported.
- 22:52 CoCoALib 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... - 22:46 CoCoALib Feature #1008 (Closed): square function
- The solution is: *we do not define a @square@ function*. Use @power(...,2)@ instead!
- 22:43 CoCoALib 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.
- 22:42 CoCoALib Bug #1015 (Closed): Bruns SEGV: SparsePolyIter/DMPI problem
- Regarding this as solved by issue #1019. Closing.
21 Apr 2017
- 22:52 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- The example use in @ex-RingHom4.C@ did not work properly:...
- 17:59 CoCoALib 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...
- 17:57 CoCoALib Design #427: Error names and error messages (current design)
- I simplified a few error messages and clarified error for @PolyRingHom@. Excerpt (...
- 17:08 CoCoALib Feature #961 (Closed): New function: ReducedGBasis
- 15:32 CoCoALib 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 ... - 15:14 CoCoALib 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...
- 11:09 CoCoALib Feature #961 (Resolved): New function: ReducedGBasis
- Found bug in interreduction....
20 Apr 2017
- 10:04 CoCoALib 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... - 10:02 CoCoALib Feature #780: GroebnerFan/ExternalLib-GFan: improve package
- Abbott found this gives error (#1049)...
- 09:32 CoCoALib 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...
19 Apr 2017
- 20:56 CoCoALib Slug #1049: GroebnerFan: slow examples
- The following example fails:...
- 16:41 CoCoALib Slug #1049: GroebnerFan: slow examples
- Here are some @GroebnerFanIdeals@ examples which take a long time:...
- 16:37 CoCoALib Slug #1049 (In Progress): GroebnerFan: slow examples
- Possibly not too relevant to CoCoA(Lib), but I wanted to collect some challenging GFAN examples.
- 18:13 CoCoA-5 Feature #996: New function: IdealOfGBasis
- Cosa dovrebbe fare il seguente?...
- 14:40 CoCoALib 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... - 14:30 CoCoALib 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... - 13:38 CoCoALib 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... - 08:28 CoCoALib 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...
- 08:13 CoCoALib 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... - 09:42 CoCoALib 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...
- 08:39 CoCoALib Design #427: Error names and error messages (current design)
- In the error messages there are some "is not" and some "must be"...
- 08:36 CoCoALib Design #427 (In Progress): Error names and error messages (current design)
- 08:16 CoCoALib 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.
... - 08:31 CoCoALib Feature #92 (In Progress): Error Codes: BadIndex
18 Apr 2017
- 22:54 CoCoALib 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...
- 17:49 CoCoALib 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... - 17:41 CoCoALib 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... - 12:09 CoCoALib Feature #730 (In Progress): Stats in GBMill (GReductor)
- Studying and organizing the old @GRStats@ code by Max Caboara.
Now adapting it to @VerbosityLevel@.
- 11:11 CoCoA-5 Slug #1047 (Feedback): NewPolyRing with user defined ordering is slower than CoCoALib
- Of course I wrote this issue after solving it ;-)
While comparing two functions using GBases with an elimination o... - 10:58 CoCoA-5 Slug #1047 (Closed): NewPolyRing with user defined ordering is slower than CoCoALib
14 Apr 2017
- 14:56 CoCoALib 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 ...
13 Apr 2017
- 22:27 CoCoA-5 Bug #1046: CoCoA-5 no longer lists the external libs present
- The problem is that the technique used employs a "hack" which reads the command line flags for the compiler.
The n... - 22:25 CoCoA-5 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
- Previously CoCoA-5 listed which external libs had been compiled in.
It no longer does so (except for READLINE).
F... - 17:43 CoCoA-5 Feature #1045 (Feedback): Error message from cocoalib to cocoa-5
- Following what I said here:
https://cocoa.dima.unige.it/redmine/issues/743#note-7
I added in @Interpreter.C@ a fu... - 17:35 CoCoA-5 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
- improve error message given by cocoa-5 for errors arising from cocoalib
- 17:29 CoCoALib Feature #92: Error Codes: BadIndex
- Anna Maria Bigatti wrote:
> There are some notes about "classes of errors" in the CoCoALib documentation for @error@... - 17:17 CoCoALib Feature #92: Error Codes: BadIndex
- There are some notes about "classes of errors" in the CoCoALib documentation for @error@, section "=== new improved l...
- 17:20 CoCoALib 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...
- 14:56 CoCoALib 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 ... - 14:31 CoCoALib 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...
- 14:01 CoCoALib 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... - 13:43 CoCoALib 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...
- 09:40 CoCoALib 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...
10 Apr 2017
- 17:55 CoCoA-5 Feature #1044 (Closed): New function: SectionalMatrix, PrintSectionalMatrix
- 17:43 CoCoA-5 Feature #1017 (Rejected): New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
- 17:42 CoCoA-5 Feature #1017: New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
- Update: don't modify ideal, by make a new one with @IdealOfGBasis@
- 17:39 CoCoA-5 Feature #965 (Closed): New function: multigraded BettiNumbers
- All done some time ago (forgot to update this).
Now documented.
- 16:47 CoCoA-5 Feature #845 (Closed): Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
- All done, also tests.
- 15:50 CoCoA-5 Feature #1043 (Feedback): New function: IsCoprime
- All done (for power-products).
This function (for power-products!) was already available in CoCoALib, so I just mean... - 15:34 CoCoA-5 Feature #1043: New function: IsCoprime
- Presumably the fn should actually be defined for pairs of @RINGELEM@ from any @TrueGCDDomain@.
Maybe for polynomia... - 14:43 CoCoA-5 Feature #1043 (Closed): New function: IsCoprime
- Add @IsCoprime@ for power-products (as in CoCoALib)
- 11:43 CoCoALib 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 ... - 11:29 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- Here is a complete example:...
- 11:25 CoCoALib Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
- The following loop is curiously slow:...
- 11:40 CoCoALib 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...
07 Apr 2017
- 22:24 CoCoA-5 Design #1041: Separators for elements of a list
- Here is an example involving a matrix:...
- 22:21 CoCoA-5 Design #1041: Separators for elements of a list
- I have put this in the section CoCoA-5 even though the solution involves (possibly) modifying CoCoALib,
because the ... - 22:19 CoCoA-5 Design #1041 (In Progress): Separators for elements of a list
- Currently elements of a "list" are printed with comma-space-space between successive elements.
The string defining... - 17:19 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- removed the empty lines, and checked in.
I like it! A lot more compact :-)
Have a look, what do you think?
- 16:51 CoCoA-5 Bug #697 (In Progress): Interpreter: Avoid outputting an empty line after each line of input
- There is a class called @OSTREAM@ in @Interpreter.H:274@.
Perhaps that class could contain a flag which says wheth... - 16:23 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- I'm very tempted just to remove this empty line in all cases.... after all I also remove them in the manual and in my...
- 15:56 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- Perhaps the interpreter needs to have a flag saying whether a newline should be printed before printing the prompt.
... - 15:28 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- The line printing the newline is this, in @LineProviders.H@:...
- 16:31 CoCoA-5 Feature #883: gin: return/print a suitable change of variables
- John Abbott wrote:
> Printing out the changes of coordinates is OK as a "temporary fix".
Well, depends on what We... - 11:43 CoCoA-5 Feature #883: gin: return/print a suitable change of variables
- Printing out the changes of coordinates is OK as a "temporary fix".
An equivalent function in CoCoALib should cert... - 10:19 CoCoA-5 Feature #883 (Feedback): gin: return/print a suitable change of variables
- Final decision is:
- two good changes of coordinates are printed when verbosity is set
- a simpler change of coordi... - 14:12 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- John Abbott wrote:
> It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
@<type>@ is used for... - 11:47 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
Better @types@ than @keywords@?
- 11:41 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- also added ...
- 11:24 CoCoA-5 Support #1023 (Resolved): CoCoAManual for verbosity: how to find which levels? how to find which functions?
- 11:20 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- I refined my idea: now a function implementing verbosity should have these lines in its manual entry...
- 11:36 CoCoA-5 Feature #996: New function: IdealOfGBasis
- OK to put @IdealOfGBasis@ into @SparsePolyRing.C@ assuming you are convinced that that is the right place.
What ab... - 09:57 CoCoA-5 Feature #996 (Resolved): New function: IdealOfGBasis
- 09:56 CoCoA-5 Feature #996: New function: IdealOfGBasis
- John Abbott wrote:
> I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in Co... - 10:55 CoCoA-5 Support #1040 (Feedback): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- done, and checked in.
- 10:01 CoCoA-5 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- Write manual entry
- 10:13 CoCoA-5 Feature #734 (Closed): Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic
- All done
- 10:09 CoCoA-5 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
- To do:
- call TwinFloat
- check documentation
- Now called ApproxPointsNBM/SOI: find better acronym
Laura, Claud... - 09:48 CoCoA-5 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda
06 Apr 2017
- 23:48 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- I have just checked in a new version which should use @use-region-p@ if that fn is defined, o/w it uses @region-activ...
- 14:10 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- Well done! :-)
I have made a small change: call @use-region-p@ instead of @region-active-p@
If I understand corr... - 09:34 CoCoA-5 Feature #1038 (Feedback): Emacs: sent interrupt to CoCoA
- Done it!
I've been lucky and found @comint-interrupt-subjob@ quickly.
I had some problems in testing it (@load-file... - 18:04 CoCoALib 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"... - 15:20 CoCoALib Support #1039: Rename iroot?
- John Abbott wrote:
> Currently @iroot@ computes the *truncated* integer part of the real root.
> For instance @iroo... - 14:46 CoCoALib 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 ... - 14:42 CoCoALib Support #1039 (Closed): Rename iroot?
- Some time ago we renamed @ILog2@ to @FloorLog2@, and some other similar functions.
There is still a function *@iro... - 06:01 CoCoALib Support #624: Wikipedia
- Here is the "wiki":https://www.everipedia.com/CoCoA/
05 Apr 2017
- 17:46 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- John Abbott wrote:
> @C-c C-q@ for "hard quit" (or @QUIT@ in the emacs-cocoa menu).
there is already @C-c C-k@ "k... - 13:33 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- Adding a new key-sequence should be quite easy; actually you probably need 2 new key-sequences (one for @C-c C-c@ eqi...
- 11:30 CoCoA-5 Feature #1038 (In Progress): Emacs: sent interrupt to CoCoA
- There are emacs commands *@region-active-p@* and *@use-region-p@*.
After reading the manual, I'm not really sure wha... - 07:42 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- John Abbott wrote:
> It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer... - 14:08 CoCoALib 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...
04 Apr 2017
- 18:35 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- It would be nice.
It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer, b... - 17:53 CoCoA-5 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
- It would be handy to have a menu item or a key-binding to send interrupt to the *cocoa5* buffer from a cocoa file.
- 17:04 CoCoALib 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 ...
29 Mar 2017
- 18:25 CoCoALib Feature #931: GBasis verbose mode
- Current setting seems satisfactory.
Documented in cocoa-5.... not in CoCoALib.
Can we avoid this duplication of doc... - 18:21 CoCoALib 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. - 18:13 CoCoALib Support #953 (Closed): new file for old functions: obsolescent.C
- 18:09 CoCoALib Bug #971 (Closed): CheckForInterrupt does not work in the expected way
- 16:49 CoCoA-5 Bug #994 (Feedback): SEGV: Toric example from Kazuki Maeda
- 16:48 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda
- definitively a bug: "n" instead of "Indices[n]" in the preprocessing.
Obviously a very rare case. - 12:02 CoCoALib 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...
- 11:49 CoCoALib Feature #1036 (Feedback): LogStream: stream for log output
- Already implemented: very simple. Written doc.
The only thing missing is an example.
- 11:48 CoCoALib 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...
28 Mar 2017
- 22:32 CoCoALib 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... - 13:57 CoCoALib Feature #206: Matrix equation solving: LinKer
- Add also the syntax @LinKer(L)@ where L is a list of linear polynomials.
- 17:11 CoCoALib Feature #313: Elim(vector<long>) as PPOrderingCtor
- Should we postpone this issue to the next version?
- 16:56 CoCoALib Slug #1009: coefficients for MinPoly e Frobenius
- Postpone to next version?
- 13:43 CoCoALib 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)....
Also available in: Atom