Activity
From 04 Apr 2017 to 03 May 2017
02 May 2017
- 14:55 Feature #253: W.Bruns's wish list
- Task (6): convert a ringelem to an integer or rational should be fairly easy via *@ConvertTo@*:
here is a simplistic...
29 Apr 2017
- 08:36 Feature #931 (Closed): GBasis verbose mode
- 08:35 Feature #1053 (Resolved): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- Still missing: copy flags.
- 08:31 Feature #957 (Closed): New function: HasGBasis
28 Apr 2017
- 23:17 Feature #1050 (Closed): ExternalLibs: function for getting info
- While it may not be strictly correct to do it this way, I am closing this issue. We can proceed with the current imp...
- 17:02 Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2)
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss... - 16:14 Bug #228 (Closed): libcocoa sometimes built without its index
- Since Winfried does not recall anything about this issue, I think we can regard it as having been resolved at some po...
- 14:54 Bug #228: libcocoa sometimes built without its index
- I have completely forgotten what the problem was. I don't think it is relevant anymore.
- 13:49 Bug #228 (In Progress): libcocoa sometimes built without its index
- We should ask Winfried if this problem has arisen lately. I have never seen anything like it, and I suspect that Win...
- 11:12 Bug #228: libcocoa sometimes built without its index
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 16:05 Feature #1016 (Closed): ReducedGBasis for RingWeyl (and other non-commutative rings)
- Checked: interreduction does not depend on commutativity.
Cleaned up. Closing
- 15:17 Design #829: PPOrderingCtor: name of mem fn which actually constructs?
- John Abbott wrote:
> @NewLexOrdering(N)@ or @lex(N)@.
> I wonder whether we should simply eliminate the fn @NewLe... - 15:16 Design #822 (Closed): Should ElimMat return a ConstMatrix
- 15:03 Feature #253: W.Bruns's wish list
- An issue I stumbled on recently is 3) from my wish list. I think it is not yet implemented. Suppose I produce a polyn...
- 11:28 Feature #253: W.Bruns's wish list
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 13:37 Feature #573 (Closed): Use symbolic links for external libraries
- This has been in feedback for ages (more than 2 years). I have tested on various different Linus platforms, and Anna...
- 11:31 Feature #573: Use symbolic links for external libraries
- I think this is well tested now.
This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and... - 13:35 Feature #575: Investigate using cmake for configuration
- We should talk to the Normaliz people again to see what they think of @cmake@ after some time using it. I thought I ...
- 11:30 Feature #575: Investigate using cmake for configuration
- If I recall well someone (ICMS Seoul) suggested us to keep our handwritten configure.
This issue was under "CoCoA"... - 11:50 Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- Oh, I am of the opposite opinion.
Whatever solution we adopt, it should be as easy as possible to configure and bu... - 11:27 Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- I'd rather not.
First of all, it works as it is.
Secondly, CoCoALib and CoCoA-5 are strictly related: nice to keep ... - 11:27 Support #26: Redmine Administration
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:23 Design #752: Investigate using Boost.build instead of make
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:21 Support #574: Tidy CoCoA root directory
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:19 Design #360: CoCoAServer: what future, what issues?
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:18 Support #262: Play with GIT
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:17 Feature #255: Use BOOST lib default location if possible
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:11 Feature #37: matrix constructors
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:06 Support #676 (In Progress): Credits to CoCoALib contributors
- I would like to make a page like this: (contributions to emacs)
[[http://gnu.huihoo.org/emacs/24.4/emacs-editor/Ackn... - 11:04 Design #855: Copyright and authorship?
- I'm slowly doing it:
we have contacted most contributors and obtained their permission.
Some have also sent the sig...
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... - 08:46 Feature #1050: ExternalLibs: function for getting info
- I compiled and it works fine.
I don't much like the "lib" names:... - 17:35 Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- updated all examples
- 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.
- 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...
26 Apr 2017
- 22:35 Feature #1050: ExternalLibs: function for getting info
- Found missing include.
Also added mathsat and gsl - 18:55 Feature #1050: ExternalLibs: function for getting info
- It says:...
- 17:44 Feature #1050 (Feedback): ExternalLibs: function for getting info
- I have checked in some documentation.
- 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 ... - 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 - 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... - 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... - 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... - 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... - 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... - 18:02 Feature #1053 (Feedback): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- Moved from cocoa-5 to cocoalib, updated calling code, and documented.
- 18:00 Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- port these 2 functions in cocoalib.
- 18:00 Slug #1049: GroebnerFan: slow examples
- Here are some examples with binomial ideals:...
- 15:31 Slug #1049 (In Progress): GroebnerFan: slow examples
- Here is a strange example:...
- 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... - 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... - 14:57 Feature #730: Stats in GBMill (GReductor)
- Current version is OK, probably not final but acceptable for version 99550/5.2.0
- 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... - 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... - 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...
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... - 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... - 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... - 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 ... - 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...
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...
- 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@
- 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...
- 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 ... - 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... - 22:55 Bug #1004 (Closed): In scripts: use portable test for absolute paths
- Closing after 2 months in feedback without any problems being reported.
- 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... - 22:46 Feature #1008 (Closed): square function
- The solution is: *we do not define a @square@ function*. Use @power(...,2)@ instead!
- 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.
- 22:42 Bug #1015 (Closed): Bruns SEGV: SparsePolyIter/DMPI problem
- Regarding this as solved by issue #1019. Closing.
21 Apr 2017
- 22:52 Feature #357: Constructor for vectors? CoCoAVector
- The example use in @ex-RingHom4.C@ did not work properly:...
- 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...
- 17:57 Design #427: Error names and error messages (current design)
- I simplified a few error messages and clarified error for @PolyRingHom@. Excerpt (...
- 17:08 Feature #961 (Closed): New function: ReducedGBasis
- 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 ... - 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...
- 11:09 Feature #961 (Resolved): New function: ReducedGBasis
- Found bug in interreduction....
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... - 10:02 Feature #780: GroebnerFan/ExternalLib-GFan: improve package
- Abbott found this gives error (#1049)...
- 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...
19 Apr 2017
- 20:56 Slug #1049: GroebnerFan: slow examples
- The following example fails:...
- 16:41 Slug #1049: GroebnerFan: slow examples
- Here are some @GroebnerFanIdeals@ examples which take a long time:...
- 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.
- 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... - 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... - 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... - 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...
- 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... - 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...
- 08:39 Design #427: Error names and error messages (current design)
- In the error messages there are some "is not" and some "must be"...
- 08:36 Design #427 (In Progress): Error names and error messages (current design)
- 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.
... - 08:31 Feature #92 (In Progress): Error Codes
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...
- 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... - 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... - 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@.
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 ...
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@... - 17:17 Feature #92: Error Codes
- There are some notes about "classes of errors" in the CoCoALib documentation for @error@, section "=== new improved l...
- 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...
- 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 ... - 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...
- 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... - 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...
- 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...
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 ... - 11:29 Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- Here is a complete example:...
- 11:25 Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
- The following loop is curiously slow:...
- 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...
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"... - 15:20 Support #1039: Rename iroot?
- John Abbott wrote:
> Currently @iroot@ computes the *truncated* integer part of the real root.
> For instance @iroo... - 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 ... - 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... - 06:01 Support #624: Wikipedia
- Here is the "wiki":https://www.everipedia.com/CoCoA/
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...
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 ...
Also available in: Atom