Activity
From 05 Mar 2017 to 03 Apr 2017
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)....
20 Mar 2017
- 14:26 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- I like the idea of @<key>verbose</key>@. KISS!
- 13:23 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- I noticed in the new CoCoA-5 manual entry for ApproxPointsNBM there are some incomplete phrases about what various ve...
- 09:00 CoCoA-5 Feature #737 (In Progress): Elementary transcendental functions (sin, cos, tan, log, exp)
17 Mar 2017
- 16:18 CoCoA-5 Design #998 (Feedback): Emacs UI: sending empty input from cocoa5 buffer
- This was done some while ago. I've been using the revised version of @cocoa5.el@ for at least a month without any pr...
- 16:12 CoCoA-5 Bug #1002 (Feedback): Emacs UI: cocoa5-send-line skips too many chars
- I made a change to the regexp a while ago. All the examples in the comments above seem to work in a reasonable way.
- 15:48 CoCoALib Feature #1033 (In Progress): Split poly into homog parts
- > In some ways the "eat up" version appeals to me more; though it might discourage casual use... (would that matter?)...
- 15:16 CoCoALib Feature #1033: Split poly into homog parts
- I'm against this idea, because I think it might be badly misused.
I see you want to apply it to IsInRadical for a ... - 13:50 CoCoALib Feature #1033: Split poly into homog parts
- If we do choose to introduce such a function, what should its name be?
- 11:17 CoCoALib Feature #1033 (Closed): Split poly into homog parts
- Introduce new function to split a poly into its homog parts.
What should the result be?
* @vector<RingElem>@ whe... - 14:15 CoCoA-5 Bug #1029 (In Progress): Readline: does not recognize interrupts
- I'm still searching for a "ready-to-eat" solution on the internet, and am also reading the readline documentation.
... - 13:19 CoCoA-5 Support #1034 (New): Improve error message when args to (infix operator) IsIn have incompatible types
- The infix operator *@IsIn@* accepts many different combinations of arg types.
However, for some non-sensical combina... - 11:13 CoCoA-5 Bug #1032: IsInRadical: fragile code
- Here are some examples which suggest that it may be better to decompose a poly into its homog parts when testing memb...
- 11:11 CoCoA-5 Bug #1032: IsInRadical: fragile code
- Here are some cases where behaviour is not ideal:...
- 11:07 CoCoA-5 Bug #1032 (Closed): IsInRadical: fragile code
- The current impls of @IsInRadical@ and @MinPowerInRadical@ are fragile: they give errors when they should/need not.
- 11:03 CoCoA-5 Support #1031: ScalarProduct: exact defn and manual page
- The manual page seems to be very wrong! It should probably be completely rewritten *after* we have decided exactly w...
- 11:00 CoCoA-5 Support #1031 (New): ScalarProduct: exact defn and manual page
- We must establish the exact definition of *@ScalarProduct@* and rewrite the manual page accordingly.
- 10:55 CoCoA-5 Feature #633: New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM
- If we regard @ScalarProduct(A,B)@ as being equivalent to @sum([A[i]*B[i] | i in 1..len(A)])@ then @ScalarProduct@ sho...
14 Mar 2017
- 14:18 CoCoALib Feature #1030: IsInRadical: case of homog ideal
- John Abbott wrote:
> I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and o... - 14:00 CoCoALib Feature #1030 (In Progress): IsInRadical: case of homog ideal
- I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and of @IsInRadical(f_d,I)@...
- 13:54 CoCoALib Feature #1030 (Closed): IsInRadical: case of homog ideal
- Currently @IsInRadical@ is defined in a CPKG5, but may soon be translated to CoCoALib.
The case of a homog poly in... - 11:34 CoCoA-5 Bug #1029: Readline: does not recognize interrupts
- A quick search found the following example use of the @readline@ alternative interface:
@http://www.mcld.co.uk/blog/... - 11:32 CoCoA-5 Bug #1029 (Closed): Readline: does not recognize interrupts
- Justin C Walker has pointed out that CoCoA-5's current use of @readline@ does not recognize interrupts (_e.g._ Ctrl-C...
13 Mar 2017
- 11:19 CoCoA-5 Bug #1028: Readline: cursor moves wrongly when at start of line with a prompt
- There is a (minor?) problem on my old MacBook: typing Ctrl-A when the cursor is at the right-end of the line does som...
- 10:59 CoCoA-5 Bug #1028 (Resolved): Readline: cursor moves wrongly when at start of line with a prompt
- I think I have just been lucky (or was it Giovanni's good design?).
I have just edited @ReadLineProvider::doReadNext... - 10:52 CoCoA-5 Bug #1028: Readline: cursor moves wrongly when at start of line with a prompt
- As Justin C Walker pointed out, the @readline@ command can accept a string arg which is printed as the prompt.
Cur... - 10:49 CoCoA-5 Bug #1028 (Closed): Readline: cursor moves wrongly when at start of line with a prompt
- Problem reported by Justin C Walker via email.
To exhibit problem: start CoCoA-5 (with readline) in a terminal; ty...
10 Mar 2017
- 19:18 CoCoALib Design #1019: CPP flags in installed library
- The tests are producing strange results: it seems that there is some mysterious problem with the threadsafe counter :...
- 19:17 CoCoALib Design #1019: CPP flags in installed library
- I now have a first impl of the "preprocessor definitions" header file.
One question which has just arisen is the f... - 13:06 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- Despite the *urgent* status I have postponed this to the next version. After all it is principally a matter of effic...
09 Mar 2017
- 18:01 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- I think this is far too difficult for this release.
I suggest moving it to next.
- 17:18 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- For an *urgent* issue, this is making very slow progress :-(
Perhaps someone (who??) should produce a test file wh... - 17:31 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- This is really unrelated: it is an ideal with a surprisingly "large" DegRevLex RGBasis...
- 16:30 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- More examples: these all have support a 3-subset of supp((x+y+z)^3+x) and coeffs +1 or -1...
- 14:14 CoCoA-5 Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?
- Would it be a good idea to add a page with a few basic emacs commands to the CoCoA-5 online manual?
- 14:12 CoCoA-5 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
- There is an emacs function *@diff-buffer-with-file@*.
Another possibility is to run *@sum@* on the buffer contents...
08 Mar 2017
- 23:59 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- Here are some more slow examples:...
- 18:56 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- Here are some simple-looking ideals whose lex GBs cannot be computed (in reasonable time) by CoCoA-5.1.5:...
- 18:58 CoCoA-5 Design #1020 (In Progress): Rename minimalized(I) into IdealOfMinGens(I)?
- See also the discussion in issue #996 about which bool3 flags can be (ought to be) copied, and which cannot.
- 18:43 CoCoA-5 Feature #996 (In Progress): New function: IdealOfGBasis
- I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in CoCoALib.
Now that yo... - 08:44 CoCoA-5 Feature #996: New function: IdealOfGBasis
- John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3... - 18:35 CoCoALib Design #1019: CPP flags in installed library
- After some consideration I think it is best to put all the CPP "flags" into a single header file, then any files whic...
- 17:03 CoCoA-5 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp)
- I've checked it in (not documented)....
- 15:26 CoCoALib Bug #1026: JanetBasis gives error indet index out of range
- There is a certain irony in finding this problem just 5 minutes after Mario left for good...
Is the implementation... - 15:24 CoCoALib Bug #1026 (New): JanetBasis gives error indet index out of range
- The following input gives an error:...
07 Mar 2017
- 21:17 CoCoA-5 Slug #1025: Example of slow LEX GBasis computation
- Send the output to a file! (over 40Mbytes)
Biggest coeffs are from the 3rd last polynomial; but several others are... - 21:15 CoCoA-5 Slug #1025 (In Progress): Example of slow LEX GBasis computation
- I am putting this example here just not to lose it:...
06 Mar 2017
- 21:52 CoCoA-5 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
- John Abbott wrote:
> I like @IdealOfMinGens@.
> I do not much like @minimalize(I)@, so suggest making it obsolescen... - 17:40 CoCoA-5 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
- I like @IdealOfMinGens@.
I do not much like @minimalize(I)@, so suggest making it obsolescent.
Presumably @IdealO... - 16:02 CoCoA-5 Design #1020 (Closed): Rename minimalized(I) into IdealOfMinGens(I)?
- I have added @IdealOfGBasis(I)@ to cocoa-5.
It is like saying @ideal(GBasis(I))@ and @SetGBasisAsGens@ (not availabl... - 19:37 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Winfried Bruns wrote:
> Why not have a function for decomposing a polynomial into its homogeneous components? There ... - 19:14 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Here is the function.
I'm still uncertain whether this should be part of cocoalib or not.
Anyway it may be copied... - 17:50 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- Why not have a function for decomposing a polynomial into its homogeneous components? There is one in NmzIntegrate.
- 16:50 CoCoALib Feature #1022: New "LF" function which is based on StdDeg
- CoCoALib currently offers @deg@ (or equiv. @StdDeg@) and @wdeg@. These functions throw an exception if the ring has ...
- 16:44 CoCoALib Feature #1022 (New): New "LF" function which is based on StdDeg
- [2017-03-06] Bruns requested by email to have a function like *@LF@* which works with respect to the standard grading...
- 19:17 CoCoA-5 Feature #996: New function: IdealOfGBasis
- John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3... - 17:41 CoCoA-5 Feature #996: New function: IdealOfGBasis
- As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3@) from the original i...
- 17:45 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- Now using @IdealOfGBasis@, so that the generators of the ideals are the different GBasis....
- 17:08 CoCoA-5 Support #1024: CoCoA Manual: consistent spacing in VarName: TYPE
- To see an example of inconsistency, just type *@?:@* into CoCoA. This gives the page for infix operators. It looks ...
- 17:06 CoCoA-5 Support #1024 (Closed): CoCoA Manual: consistent spacing in VarName: TYPE
- Most entries in the CoCoAManual include a succinct description of the syntax like the following...
- 17:00 CoCoA-5 Support #521: Manual: automatically check all examples
- This seems a duplicate of #558, closed for CoCoA-5.1.0 Easter14.
Unless you mean to check also the output (then it... - 16:55 CoCoA-5 Support #521: Manual: automatically check all examples
- Done (again, long time ago...). It is called by...
- 16:50 CoCoA-5 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?
- @SetVerbosityLevel/VerbosityLevel@ allow to have verbosity.
Some functions now use them.
This should be reported in... - 16:44 CoCoA-5 Bug #170 (Closed): CoCoAManual HTML: page for "Try"
- in log:
Revision 1.19 2012/05/25 13:07:23 abbott
Cleaned entry for "Try".
Revision 1.14 2012/03/09 17:00:2... - 16:35 CoCoA-5 Bug #170 (Feedback): CoCoAManual HTML: page for "Try"
- As far as I can tell, this has already been done... no idea by whom, or when.
- 16:40 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- I suggest transforming the search string as follows:
* replace all TABs (and any other whitespace chars) by plain sp... - 16:38 CoCoA-5 Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces
- Some CoCoA online manual pages have titles containing spaces.
Searching for such a page with a search string contain... - 13:30 CoCoALib Design #1019: CPP flags in installed library
- *NOTE* I have just learned that if you press return while typing in the comment "subject" line, redmine then "finishe...
- 11:45 CoCoALib Design #1019: CPP flags in installed library
- Here is a list of the CoCoA CPP flags:
* *@CoCoA_ULONG2LONG@*
* *@CoCoA_THREADSAFE_HACK@*
* *@CoCoA_DEBUG@*
* *@C...
05 Mar 2017
- 21:20 CoCoALib Design #1019: CPP flags in installed library
- To me it seems that approach *(A)* is less convenient and more risky/annoying (since any problem is reported only aft...
- 21:13 CoCoALib Design #1019 (In Progress): CPP flags in installed library
- Recently Bruns reported a compilation problem (see #1015) which turned out to be a problem of missing CPP flags. A s...
- 21:01 CoCoALib Design #1019 (Closed): CPP flags in installed library
- What is the best way to ensure that any important CPP flags are correctly set when using CoCoALib?
One approach is...
Also available in: Atom