Activity

From 06 Mar 2017 to 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

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

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

15:48 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?)... John Abbott
15:16 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 ... Anna Maria Bigatti
13:50 Feature #1033: Split poly into homog parts: If we do choose to introduce such a function, what should its name be? John Abbott
11:17 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... John Abbott

14:18 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... Anna Maria Bigatti
14:00 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)@... John Abbott
13:54 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... John Abbott

19:18 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 :... John Abbott
19:17 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... John Abbott

18:35 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... John Abbott
15:26 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... John Abbott
15:24 Bug #1026 (New): JanetBasis gives error indet index out of range: The following input gives an error:... John Abbott

19:37 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 ... Anna Maria Bigatti
19:14 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... Anna Maria Bigatti
17:50 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. Winfried Bruns
16:50 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 ... John Abbott
16:44 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... John Abbott
13:30 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... John Abbott
11:45 Design #1019: CPP flags in installed library: Here is a list of the CoCoA CPP flags:
* *@CoCoA_ULONG2LONG@*
* *@CoCoA_THREADSAFE_HACK@*
* *@CoCoA_DEBUG@*
* *@C... John Abbott

Also available in: Atom

CoCoA » CoCoALib