Activity
From 20 Feb 2017 to 21 Mar 2017
17 Mar 2017
-
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?)...
-
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 ... -
13:50 Feature #1033: Split poly into homog parts
- If we do choose to introduce such a function, what should its name be?
-
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...
14 Mar 2017
-
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... -
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)@...
-
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...
10 Mar 2017
-
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 :...
-
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...
08 Mar 2017
-
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...
-
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... -
15:24 Bug #1026 (New): JanetBasis gives error indet index out of range
- The following input gives an error:...
06 Mar 2017
-
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 ... -
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... -
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.
-
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 ...
-
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...
-
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...
-
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...
05 Mar 2017
-
21:20 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 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 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...
03 Mar 2017
-
15:12 Bug #1015 (Feedback): Bruns SEGV: SparsePolyIter/DMPI problem
- I have now added a similar check for ULONG2LONG. It's all a nasty hack, but seems to work.
Checked-in too. Now I...
02 Mar 2017
-
15:51 Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- JAA should also check the value of ULONG2LONG... perhaps need a template approach?
-
15:22 Feature #202 (In Progress): MatrixView/function for viewing a single row or column (RowMat, ColMat)
- Implemented (using @submat@).
Still have to write tests and doc.
-
14:50 Design #934: MachineInt: change semantics?
- After personal discussion in Kassel: I agree.
-
13:51 Feature #958: New function: multiplicity and dim
- Still to do: non-homogenous input
-
13:34 Feature #958: New function: multiplicity and dim
- John Abbott wrote:
> What exactly does multiplicity do?
>
> I made the mistake of trying to compute @multiplicity... -
13:46 Feature #931: GBasis verbose mode
- Set 100 for first GBasis printouts
-
13:39 Feature #931: GBasis verbose mode
- John Abbott wrote:
> In the meantime, Anna plans to add the appropriate verbosity lines to @myDoGBasisElimFirst@.
... -
11:08 Feature #931: GBasis verbose mode
- Answer to previous question is that internally Anna uses a hack: she calls @myDoGBasisElimFirst@ rather than the gene...
-
13:46 Feature #961: New function: ReducedGBasis
- John Abbott wrote:
> I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
done.
Sho... -
11:24 Feature #961: New function: ReducedGBasis
- I prefer to have two distinct functions *@GBasis@* and *@ReducedGBasis@* because:
* the name *@ReducedGBasis@* gives... -
13:44 Feature #902 (Closed): New function: FrobeniusMat
-
13:44 Feature #962: General verbose mode?
- Changed interface (after personal discussion in Kassel):...
-
13:31 Feature #357: Constructor for vectors? CoCoAVector
- It seems to me that this will be covered by the "braced constructor" for C++ vectors that appeared in C++11.
What ... -
13:31 Feature #957 (Feedback): New function: HasGBasis
-
11:16 Feature #1016 (Closed): ReducedGBasis for RingWeyl (and other non-commutative rings)
- Implement @ReducedGBasis@ for @RingWeyl@ and other potential future non-commutative rings.
01 Mar 2017
-
18:04 Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- I have now added an automatic check for @CoCoA_THREADSAFE_HACK@.
If you compile the library with one setting and try... -
14:43 Bug #1015 (Resolved): Bruns SEGV: SparsePolyIter/DMPI problem
- The problem goes away if the flag *@-DCoCoA_THREADSAFE_HACK@* is added to the compilation line.
At the moment I do... -
14:16 Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- The problem continues to arise with the following simplified compilation command:...
-
14:06 Bug #1015: Bruns SEGV: SparsePolyIter/DMPI problem
- Here we have a minimal failing example:...
-
13:40 Bug #1015 (In Progress): Bruns SEGV: SparsePolyIter/DMPI problem
- The problem arises under the following conditions:
* CoCoALib is configured with @--threadsafe-hack@ and @--no-boost... -
13:37 Bug #1015 (Closed): Bruns SEGV: SparsePolyIter/DMPI problem
- Winfried Bruns reported a SEGV problem by email.
The following code will exhibit it: @F@ is a poly with a single t...
25 Feb 2017
-
11:11 Support #1013: GlobalManager: name of object in examples (and tests)
- > Would *@InitializeCoCoA@* be more comprehensible?
Perfect!
24 Feb 2017
-
17:54 Bug #1014 (In Progress): RowMat, ColMat with arg an empty list/vector
- Another (mild?) incompatibility is that in CoCoA-5 @RowMat@ and @ColMat@ accept as input lists of INT and/or RAT.
In... -
17:49 Bug #1014: RowMat, ColMat with arg an empty list/vector
- At the moment JAA thinks that giving an error is probably better.
Is there a situation where one might reasonably ... -
17:45 Bug #1014: RowMat, ColMat with arg an empty list/vector
- In CoCoA-5 one can call @RowMat([])@ and @ColMat([])@ to produce a matrix 1x0 or 0x1.
In CoCoALib a similar call pro... -
17:39 Bug #1014 (In Progress): RowMat, ColMat with arg an empty list/vector
- What should @RowMat@ and @ColMat@ do if given am empty list/vector as argument?
-
17:51 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- What should these functions do if the matrix is 0-by-C or R-by-0?
Return a 0-by-1 or 1-by-0 matrix? -
17:42 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat)
- Another possibility: uglier, but possibly clearer?
* *@RowMatView@*
* *@ColMatView@*
The intention is that the r... -
14:16 Support #1013: GlobalManager: name of object in examples (and tests)
- In just a couple of days I shall have to present CoCoALib and its examples.
Indeed, I shall probably concentrate on ... -
14:13 Support #1013 (New): GlobalManager: name of object in examples (and tests)
- At the moment all CoCoALib examples use the name *@CoCoAFoundations@* for the @GlobalManager@ object.
Is there a b...
20 Feb 2017
-
13:40 Feature #872 (In Progress): LinSolve for matrices over FFp
- Currently I am just adding the "keyword" *@MatrixFp@*
Some code has already been written, and it is in the file @sr... -
13:23 Feature #82: C++11 compatibility questions
- How does this issue differ from issue #83?
-
13:19 Feature #1010: C++11: Mario's Hilbert scheme code
- Mario makes essential use of various C++11 featues (_e.g._ @auto@ variable declarations).
The problem is that CoCo... -
13:14 Feature #1010 (New): C++11: Mario's Hilbert scheme code
- Mario would like to incorporate his Hilbert scheme code, but to do so he must compile with c++11 (because he uses sev...
-
13:12 Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- @Winfried: could you check whether this problem persists in the latest version of CoCoALib?
There is version from 16...
Also available in: Atom