Activity
From 09 Nov 2016 to 08 Dec 2016
05 Dec 2016
- 10:30 Feature #931: GBasis verbose mode
- Added first verbosity comments activated with...
02 Dec 2016
- 09:13 Feature #961: New function: ReducedGBasis
- the GBasis is not reduced if the ring is not commutative
(ideal(x,dx) is homogeneous, so the algorithm does not expe...
30 Nov 2016
- 21:47 Feature #765 (In Progress): ExternalLib-CDD: (needed by GFan)
- Here are some notes I have just made (after trying to compile CDD and GFan on my netbook)....
29 Nov 2016
- 19:30 Design #932: CoCoALib configuration: BOOST dependency
- I have added a *@--no-boost@* option to the @configure@ script; this disables automatic searching for the BOOST heade...
- 19:24 Design #932 (In Progress): CoCoALib configuration: BOOST dependency
- The CoCoA @configure@ script complains if someone specifies "with Normaliz" but "without BOOST". The code in CoCoALi...
28 Nov 2016
- 22:21 Feature #658: Indets actually in a poly (or vector or matrix)
- I have moved this issue to CoCoALib, which is where I had expected to find it.
On several occasions I would have l... - 22:04 Feature #987: GCD: add special case if args are monomials
- The relevant place in the code seems to be in @SparsePolyRing.C:814@.
To see how slow the current code is, try the... - 21:54 Feature #987 (New): GCD: add special case if args are monomials
- While trying to comprehend the (undocumented) code I wrote in @ArithGroup.cpkg5@, I noticed a comment about GCD being...
- 15:43 Design #764 (In Progress): ExternalLib: simplify configuration
- Is this now resolved? Or even in @feedback@? Perhaps change target version?
- 15:41 Bug #986: GFan: require version newer than 0.6
- Anders let us know by email (2016-11-28) about the problem in @gfanlib@.
I have already asked how a shell script c... - 15:38 Bug #986 (In Progress): GFan: require version newer than 0.6
- Anders reports that @gfanlib@ version 0.6 contained a bug.
We should either require that @gfanlib@ be newer than 0.6...
26 Nov 2016
- 17:40 Feature #765: ExternalLib-CDD: (needed by GFan)
- I tried to put GFan on the Linux box in Kassel, but did not succeed in getting CDD properly installed.
Part of the p...
25 Nov 2016
- 18:01 Design #983: Which ostream for verbose/obsolescent log mesgs?
- The standard ostream @clog@ would be the logical choice for logging messages (on a program that runs inside an xterm,...
- 17:53 Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?
- Which @ostream@ should be used for log messages produced by "verbose mode" or "obsolescent" warnnings?
Note that e... - 17:44 Design #982: Catching interrupts in example progs?
- Perhaps the current behaviour is not so bad: CoCoALib converts any interrupts that it detects into an exception of ty...
- 17:35 Design #982 (Closed): Catching interrupts in example progs?
- With the current design (where the exception produced by an interrupt is not of type @CoCoA::ErrorInfo@), if you inte...
- 17:30 Bug #971 (Feedback): CheckForInterrupt does not work in the expected way
24 Nov 2016
- 13:56 Bug #154 (In Progress): GCD normalization (e.g. monic)
- I stumbled across this problem/issue again when trying to implement @GCDFreeBasis@ (see #259).
In reference to my ... - 13:19 Feature #259 (In Progress): Squarefree(?) GCD-free basis
- I have written a first version (for @RingElem@) by translating almost directly the impl in @GCDFreeBasis.cpkg5@. I h...
23 Nov 2016
- 08:35 Feature #961 (In Progress): New function: ReducedGBasis
- 08:34 Feature #961: New function: ReducedGBasis
- I realized, after trying to implement it, that CoCoALib @myDoGBasis@ already does it!!
In fact the only operation no... - 08:25 Feature #931: GBasis verbose mode
- Now we have @SetVerbosityLevel@ it should be (almost) trivial.
- 08:23 Feature #962: General verbose mode?
- Added in CoCoA-5. Fantastic!
22 Nov 2016
- 15:38 Feature #979: SmallestNonDivisor -- new fn
- I still like the idea of an iterator, but it would be hard to "export" the notion to CoCoA-5. Maybe that does not ma...
- 15:31 Feature #979 (Resolved): SmallestNonDivisor -- new fn
- Added *@SmallestNonDivisor@* to @NumTheory@; also available in CoCoA-5.
Updated doc for @NumTheory@.
Still to do: ... - 12:42 Bug #975 (Resolved): configure: possibly ignore GMP compilation flags
- I have added (yet another) configuration option *@--ignore-gmp-cflags@*.
Combining this with *@--with-cxxflags=@* sh...
21 Nov 2016
- 18:01 Feature #979: SmallestNonDivisor -- new fn
- After a brief discussion on email, I think it is best to write on redmine.
Robbiano proposes a function to find the ... - 17:51 Feature #979 (Closed): SmallestNonDivisor -- new fn
- In the context of the "universal denominator" for a polynomial ideal, it could be useful to find the first prime whic...
- 17:49 Support #976: configure: auxiliary scripts should be consistent about error messages
- I have changed the format of the error messages in the existing shell scripts: the script name is now placed last (an...
- 14:22 Support #976: configure: auxiliary scripts should be consistent about error messages
- OK, we can try with the script (base)name at the end of the message. It shouldn't take too long to make the change.
... - 14:08 Support #976: configure: auxiliary scripts should be consistent about error messages
- My preferred is...
- 14:06 Support #976: configure: auxiliary scripts should be consistent about error messages
- John Abbott wrote:
> Another idea is to have a configuration flag for "developers" so that the errors from scripts s... - 13:51 Support #976: configure: auxiliary scripts should be consistent about error messages
- Another idea is to have a configuration flag for "developers" so that the errors from scripts say which script gave t...
18 Nov 2016
- 23:09 Feature #951 (Closed): New function: IsSqFree
- 22:39 Feature #955 (Closed): RandomUnimodularMat - random unimodular matrix (of integers)
- 22:37 Feature #910 (Closed): BigRat: read from a string in "decimal" format?
- 22:24 Bug #956 (Closed): determinant: fails for 0x0 matrix (SEGV)
- 22:23 Bug #938 (Closed): ReadExpr: misreads 2/3^4
- 22:22 Bug #936 (Closed): ReadExpr: cannot handle exponent which is not integer literal
- 21:58 Bug #971: CheckForInterrupt does not work in the expected way
- I have now changed the call to @CheckForInterrupt@ in @TmpGReductor@ to the simple call that I had expected to see, a...
- 18:54 Support #976 (In Progress): configure: auxiliary scripts should be consistent about error messages
- Another possibile one-line format could put the script name in brackets somehow:
(first line is the current format)
... - 18:44 Support #976: configure: auxiliary scripts should be consistent about error messages
- One suggestion for the format of the error messages is to use 2 lines, perhaps like this:...
- 18:39 Support #976: configure: auxiliary scripts should be consistent about error messages
- While unformity is nice, it is not so important if the existing scripts work well enough ==> low priority.
I think... - 18:34 Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages
- There are numerous auxiliary shell scripts (in directory @configuration/@).
They do not have a uniform way of commun... - 18:28 Bug #975: configure: possibly ignore GMP compilation flags
- If I recall well, with the @clang@ compiler there is a compile-time error with the platform-specific flags from the "...
- 18:20 Bug #593 (Feedback): Temporary directories used during configuration
- I have updated all the auxiliary scripts to use temp dirs in @/tmp@ following the naming convention suggested above. ...
- 13:39 Bug #593: Temporary directories used during configuration
- Also done the @gfan@ scripts (and fixed some more tiny problems in the @gmp@ scripts).
- 12:19 Bug #593: Temporary directories used during configuration
- I have now adopted the following naming convention for the tmp dirs:
*@/tmp/CoCoALib-config-abbott-2016-11-18/gmp-cx...
17 Nov 2016
- 22:47 Bug #593: Temporary directories used during configuration
- I have changed the @gmp-XYZ.sh@ scripts... configuration still works on my machine (I think).
- 22:04 Bug #593: Temporary directories used during configuration
- Some scripts need to know where the *@ExternalLibs@* directory is located.
I think the simplest way to pass in this ... - 21:34 Bug #593: Temporary directories used during configuration
- Using @/tmp@ for temporary directories is very tempting, but must be done safely (_e.g._ cannot have two users trying...
- 21:16 Bug #975 (In Progress): configure: possibly ignore GMP compilation flags
- I have modified the script @gmp-cxx-flags.sh@. A quick test on my machine passed (well, the first few tests didn't p...
- 19:25 Bug #975: configure: possibly ignore GMP compilation flags
- I hope to resolve this while I'm here, and can see what happens on Gereon's cloud.
Of course, it is tedious having... - 19:23 Bug #975 (Closed): configure: possibly ignore GMP compilation flags
- Gereon had a strange problem. He was compiling on a cloud VM, and got strange error messages about the platform-spec...
- 19:15 Feature #974: QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
- This should really be under CoCoA-5, but I hope that @RealRoots@ will soon be migrated to C++ (see #440).
My curre... - 19:07 Feature #974 (In Progress): QIR/RealRootRefine: improve behaviour if input interval has "nasty" endpoints
- The fn @RealRoots@ lets a user specify an interval in which to look for real roots.
If the initial ends points are n... - 19:03 Feature #678: Accumulator (like a geobucket)
- Here is a possible design:
* user deals with a smart-pointer class (_e.g._ like ideal)
* internally there is an abs... - 14:26 Feature #678 (In Progress): Accumulator (like a geobucket)
- Here are some possible applications:
* converting polynomials to/from CoCoALib (_e.g._ other library may keep terms ... - 14:12 Feature #678: Accumulator (like a geobucket)
- Just adding some *keywords* to this issue (so it is easier to find via redmine search).
*Summation*, *summer*, *summ... - 14:12 Feature #817: GenRepr in CoCoALib?
- I will write GenRepr for poly/ideal leaving the marginal cases to cocoa-5 code.
- 13:25 Feature #817: GenRepr in CoCoALib?
- Clearly it was not possible to have it by summer 2016 :-)
@Anna: would it be easy to add?
- 13:36 Feature #839: SparsePolyIter: make more compatible with STL
- Here is a possible way to implement the idea in comment 2.
The "index" could be a pair of pointers: one pointer to... - 13:21 Support #972: ex-PolyIterator
- Since the feature being exhibited in the examples is called @SparsePolyIter@, it makes more sense that the files be c...
- 13:17 Support #972 (New): ex-PolyIterator
- There are examples for using @SparsePolyIter@; why are the files they are in called @ex-PolyIterator@?
@ex-PolyIte...
14 Nov 2016
- 21:53 Bug #971: CheckForInterrupt does not work in the expected way
- Cane we have something more compact like this?...
- 16:11 Bug #971: CheckForInterrupt does not work in the expected way
- I have made some changes to @Interpreter.C@ (mostly adding catch commands for @InterruptReceived@).
I have not (ye... - 13:07 Bug #971: CheckForInterrupt does not work in the expected way
- In issue #714 I had guessed that the only place I needed to catch @InterruptReceived@ was around line 2678 of @Interp...
- 13:03 Bug #971 (In Progress): CheckForInterrupt does not work in the expected way
- As far as I can see, the CoCoA-5 interpreter needs to be modified so that it catches both @CoCoA::ErrorInfo@ and @CoC...
- 11:10 Bug #971 (Closed): CheckForInterrupt does not work in the expected way
- Looking at the call to @CheckForInterrupt@ in @GReductor::myReduceCurrentSPoly@ (around line 760 of @TmpGReductor.C@)...
11 Nov 2016
- 15:49 Design #970 (In Progress): Weights in ElimMat?
- I suggest proceeding with definition (a):
* it is already implemented
* it is easy to explain/describe
If we com... - 15:35 Design #970: Weights in ElimMat?
- I prefer (c) to (b) perhaps because it is sparser.
(a) and (c) clearly do not give the same term-ordering though t... - 15:13 Design #970 (In Progress): Weights in ElimMat?
- (similar for ElimHomogMat)
What should @ElimMat([2,3], mat([[1,5,2]]));@ return? (now it is (a))... - 15:10 Slug #969 (In Progress): Output to bad stream (operator<< and myOutput): just return immediately
- I have added the relevant line to all instances of @operator<<@ (for @ostream@, but not for OpenMath output fns).
... - 15:02 Feature #962: General verbose mode?
- I have just checked in a first impl of "verbose".... including doc and an example (but no test).
Perhaps we can tr... - 11:23 Feature #962: General verbose mode?
- With reference to comment 6, and the example there.
I now think it would be better to require that the programmer ...
10 Nov 2016
- 21:33 Slug #968: Slow NF example
- I constructed the example in comment 5 by taking a sparse polynomial (in this case @z^30-1@) which has a factorizatio...
- 21:09 Slug #968 (In Progress): Slow NF example
- Here is another example which rather suggests that the problem is quite difficult in general:...
- 17:09 Slug #968: Slow NF example
- John Abbott wrote:
> This makes me think that it has effectively computed @(x+y+z+1)^498@ and then discovered that a... - 17:03 Slug #968: Slow NF example
- On the fixed linux box here it took about 210s to compute @NF(f,I)@.
This makes me think that it has effectively c... - 16:42 Slug #968: Slow NF example
- John Abbott wrote:
> When computing a @NF(x^999*y^999,I)@ we can use either GBasis element for the reduction.
> CoC... - 16:16 Slug #968: Slow NF example
- When computing a @NF(x^999*y^999,I)@ we can use either GBasis element for the reduction.
CoCoA ought to prefer reduc... - 16:13 Slug #968 (In Progress): Slow NF example
- Here is a silly example where NF takes longer than it should:...
- 19:05 Feature #966: New function or explain: first and last for a vector?
- John Abbott wrote:
> I am concerned that they may make wasteful copies of the elements of the list/vector.
Surely... - 16:11 Feature #966: New function or explain: first and last for a vector?
- I am not yet convinced that @first@ and @last@ are good ideas for C++.
What exactly are the hoped-for semantics? ... - 09:06 Feature #966: New function or explain: first and last for a vector?
- Equivalent to @first,last@:...
- 08:43 Feature #966 (Closed): New function or explain: first and last for a vector?
- In CoCoA-5 we often first and last for making sub-lists.
This is tedious to translate into C++.
Make good C++ docum... - 18:16 Feature #962: General verbose mode?
- I have tried a quick experiment, and can confirm that (on my computer) creating an @ofstream@ with a default ctor (_i...
- 16:19 Feature #962: General verbose mode?
- A reasonable development strategy could be to resolve #931 (verbose for GBasis) using the ideas suggested here.
When... - 17:51 Feature #718: Insert calls to CheckForInterrupt
- I tried interrupting a long gbasis computation (as part of one of Mario's long radical examples). The computation ha...
- 17:01 Slug #967: Improve saturate
- I see that there is an involutive saturation.
How does that work in general? should we use that instead of GBases?
- 16:54 Slug #967: Improve saturate
- I have modified ComputeSaturation using the factorization (repeats saturation on the factors).
I don't know if that'... - 11:59 Slug #967: Improve saturate
- I implemented another naive algorithm (elim(h, I+(f*h-1))), but seems even worse.
- 09:20 Slug #967 (Resolved): Improve saturate
- saturate is slow (naive algorithm: repeated colon).
Improve it. - 16:38 Slug #969: Output to bad stream (operator<< and myOutput): just return immediately
- The motivation behind this issue is the idea of using an @ostream@ with its bad-bit set to simulate @/dev/null@.
T... - 16:31 Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately
- Functions for outputting values should return immediately if the output stream is bad.
This is potentially important... - 08:29 Feature #357 (Feedback): Constructor for vectors? CoCoAVector
- This was done (up to 4 args): 2014/12/02
Also available in: Atom