Activity
From 01 Nov 2016 to 30 Nov 2016
30 Nov 2016
-
23:35 CoCoA-5 Bug #755: Find out how to compile statically on linux
- I have built what seems to be a portable 32-bit executable of @CoCoAInterpreter@ on the Linux VM (on my old MacBook)....
-
21:47 CoCoALib 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)....
-
21:23 CoCoA-5 Feature #988 (In Progress): Makefile: install target for cocoa5
- I now think that it might be simpler to make @/usr/local/bin/cocoa5@ a (symbolic?) link to @/usr/local/bin/cocoa-5.1....
-
21:13 CoCoA-5 Feature #988: Makefile: install target for cocoa5
- I have just checked in a first attempt at making an @install@ target for CoCoA-5.
Currently the destination director... -
07:42 CoCoA-5 Design #989: init file obligatory?
- When I added @init.cocoa5@ I did not consider the possibility of calling cocoa passing explicitely an empty directory...
-
07:34 CoCoA-5 Design #989: init file obligatory?
- John Abbott wrote:
> In my tree @init.cocoa5@ contains 9 lines, but only 2 (or perhaps 3) actually do anything usefu...
29 Nov 2016
-
23:23 CoCoA-5 Design #989: init file obligatory?
- The critical section of source code appears to be around line 126 of @Main.C@.
(call to @perror@)
-
23:12 CoCoA-5 Design #989: init file obligatory?
- In my tree @init.cocoa5@ contains 9 lines, but only 2 (or perhaps 3) actually do anything useful.
I suggest keepin... -
23:10 CoCoA-5 Design #989: init file obligatory?
- I found this while trying to create a "quick start" CoCoA-5 by giving it an empty directory as the place to look for ...
-
23:04 CoCoA-5 Design #989 (In Progress): init file obligatory?
- Currently the @CoCoAInterpreter@ requires that there be a file @init.cocoa5@ in the same directory as the packages.
... -
23:19 CoCoA-5 Bug #755: Find out how to compile statically on linux
- Has the blas-free version been put on the website?
-
23:17 CoCoA-5 Support #322: Installation instructions (on website)
- The instructions for installing CoCoA-5 on linux still need improvement!
* what to do with the file @cocoa-XYZ.tar... -
19:30 CoCoALib 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 CoCoALib 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...
-
18:32 CoCoA-5 Feature #988: Makefile: install target for cocoa5
- This will be a little complicated because we need to install both the executable and the packages, and also tell the ...
-
18:19 CoCoA-5 Feature #988 (Closed): Makefile: install target for cocoa5
- Zoltan kovacs would like to install both CoCoALib and CoCoA-5.
Currently the @install@ target in the Makefile instal...
28 Nov 2016
-
22:21 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #764 (In Progress): ExternalLib: simplify configuration
- Is this now resolved? Or even in @feedback@? Perhaps change target version?
-
15:41 CoCoALib 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 CoCoALib 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... -
13:52 CoCoA-5 Support #985: Microsoft (Windows 10, maybe other versions): more help for installation
- Ablamovicz's email was sent on 2016-11-28.
It might be enough to supply a simple *@example.cocoa5@* file which can... -
13:48 CoCoA-5 Support #985 (New): Microsoft (Windows 10, maybe other versions): more help for installation
- Recently Rafal Ablamowicz reported problems with installing CoCoA-5 (with emacs) on a windows 10 computer.
He had ...
26 Nov 2016
-
18:08 CoCoA-5 Design #984: GroebnerFanIdeals: order matrices sometimes have "large" entries
- I noticed that in this example the order matrices always have strictly positive entries in the first row. Are zeroes...
-
18:02 CoCoA-5 Design #984: GroebnerFanIdeals: order matrices sometimes have "large" entries
- Here is the same example as in issue #973...
-
17:51 CoCoA-5 Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries
- After using @GroebnerFanIdeals@, I noticed that some order matrices can have quite "large" entries (_e.g._ greater th...
-
17:46 CoCoA-5 Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream")
- After recently delving into the source code for the interpreter to handle interrupts as I'd originally intended, I am...
-
17:40 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #971 (Feedback): CheckForInterrupt does not work in the expected way
-
17:28 CoCoA-5 Bug #981: SqFreeFactor: small (or big) bug?
- Works on other examples (used in factorization over algebraic extensions).
Thanks! great! -
16:59 CoCoA-5 Bug #981: SqFreeFactor: small (or big) bug?
- Added Anna's example to CoCoA-5 @tests/exbugs.cocoa5@. Checked in.
-
16:46 CoCoA-5 Bug #981 (Resolved): SqFreeFactor: small (or big) bug?
- I have modified @SparsePolyRingBase::myGCD@ to handle specially only if coeffs are @IsRingFp@; previously it just tes...
-
16:22 CoCoA-5 Bug #981 (Closed): SqFreeFactor: small (or big) bug?
- This example gives error (others seem to work fine)...
24 Nov 2016
-
19:12 CoCoA-5 Feature #980: CoeffSize: function to measure the size of coeffs in a poly
- Maybe the one I wrote could then be called @NumDenSize10@?
I still think it is useful, for a human, to know that. -
19:01 CoCoA-5 Feature #980: CoeffSize: function to measure the size of coeffs in a poly
- Anna has put a first prototype in @experimental.cpkg5@; it follows the original defn. It is deliberately not documen...
-
18:51 CoCoA-5 Feature #980: CoeffSize: function to measure the size of coeffs in a poly
- The definition originally proposed in email was to return a pair of integers being effectively @[max(FloorLog10(num(c...
-
18:38 CoCoA-5 Feature #980 (In Progress): CoeffSize: function to measure the size of coeffs in a poly
- In email Anna proposed a function, tentatively named @CoeffSize@, to measure the size of the coeffs in a poly (over @...
-
13:56 CoCoALib 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:46 CoCoA-5 Slug #405 (Feedback): ReducedGBasis not memorized in an ideal
- GBasis is now exactly ReducedGBasis.
(still an error on RingWeyl, though, where it is not interreduced) -
13:43 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal
- John Abbott wrote:
> [translated from an email written in italian]
>
> Here is a potentially important point. Fo... -
13:13 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal
- [translated from an email written in italian]
Here is a potentially important point. For simplicity I consider th... -
13:05 CoCoA-5 Slug #405: ReducedGBasis not memorized in an ideal
- Anna now reports that @GBasis@ actually produces an irredundant fully reduced GBasis; the only step missing for makin...
-
13:19 CoCoALib 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...
-
13:02 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- I now think that the "universal" denominator is valid for any monic basis which contains a RGB as subset (since the o...
23 Nov 2016
-
16:44 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- I wonder how "universal" @UniversalRGBDenom@ is? Does it also apply to all Janet Bases? And Pommaret Basis (if it e...
-
13:32 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- John Abbott wrote:
> The name *@UniversalRGBDenominator@* is OK for me.
>
> I note that there are already two "de... -
12:19 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- The name *@UniversalRGBDenominator@* is OK for me.
I note that there are already two "denominator" functions: *@de... -
07:41 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- John Abbott wrote:
> I'm still hoping to find a better name than @UniversalDenominator@; I feel that it ought to con... -
13:55 CoCoA-5 Support #973 (Feedback): GroebnerFanIdeals: verbosity and output style
- Now prints "*" with verbosity >=10 /// updated...
-
08:53 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- Added @GroebnerFanReducedGBases@.
For the "*" I could use the new "VerbosityLevel". Working on it. -
08:35 CoCoALib Feature #961 (In Progress): New function: ReducedGBasis
-
08:34 CoCoALib 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 CoCoALib Feature #931: GBasis verbose mode
- Now we have @SetVerbosityLevel@ it should be (almost) trivial.
-
08:23 CoCoALib Feature #962: General verbose mode?
- Added in CoCoA-5. Fantastic!
22 Nov 2016
-
15:38 CoCoALib 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 CoCoALib Feature #979 (Resolved): SmallestNonDivisor -- new fn
- Added *@SmallestNonDivisor@* to @NumTheory@; also available in CoCoA-5.
Updated doc for @NumTheory@.
Still to do: ... -
15:34 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- I have implemented @SmallestNonDivisor@ (see #979).
I'm still hoping to find a better name than @UniversalDenomina... -
07:42 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- The other functions should be called @UniversalDenominator(I)@ and @SmallestExcellentPrime(I)@.
-
13:09 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- Out of curiosity.... Does GFan produce order matrices with smallest possible non-negative entries?
In the example fr... -
11:25 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- I have rewritten the man page for @GroebnerFanIdeals@ (and already checked in, if I recall correctly).
-
07:36 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- Anna Maria Bigatti wrote:
> One possibility, for small examples (or for convincing the user it is not a good idea ;-... -
12:42 CoCoALib 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... -
07:32 CoCoA-5 Feature #964: New function: MakeMultiset?
- John Abbott wrote:
> What applications do you have in mind?
I haven't yet replied because I cannot remember... I ...
21 Nov 2016
-
18:01 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages
- My preferred is...
-
14:06 CoCoALib 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 CoCoALib 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...
-
14:44 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- John Abbott wrote:
> I think the confusion came from the way the documentation is worded.
>
> I have rerun the ex... -
14:27 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- I think the confusion came from the way the documentation is worded.
I have rerun the example from comment 2, and ... -
09:40 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- It would be nice to have as result the list of ideals *generated* by the reduced GBases, but in that way (in CoCoA-5!...
-
14:41 CoCoA-5 Feature #978: CommonDenom: for polys and lists?
- Some aspects to consider when deciding the semantics:
* we may assume that the result is positive (if coeffs in @QQ@... -
14:34 CoCoA-5 Feature #978: CommonDenom: for polys and lists?
- In fact there is already an undocumented builtin fn called @CommonDenom@, but only for RINGELEM. The fn also exists ...
-
14:32 CoCoA-5 Feature #978 (Closed): CommonDenom: for polys and lists?
- Should there be a function called *@CommonDenom@* (or something similar)?
For polynomials? For lists of polynomials? -
09:47 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- I copied John's code for further experiments in our working dir MinPoly2016, file @Deltone.cocoa5@. CVS-ed
-
09:36 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- By John Abbott:
Robbiano suggested that it could be interesting to find the first (or at least a smallish) good pr... -
09:35 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- By John Abbott:
Does this code correctly compute the "universal denominator" for the ideal I?... -
09:33 CoCoA-5 Support #977 (In Progress): "universal denominator" (related with GroebnerFanIdeals)
- [Coming from our recent work on MinPoly]
It would be interesting to investigate the "universal denominator" of an id...
18 Nov 2016
-
23:09 CoCoALib Feature #951 (Closed): New function: IsSqFree
-
22:39 CoCoALib Feature #955 (Closed): RandomUnimodularMat - random unimodular matrix (of integers)
-
22:37 CoCoALib Feature #910 (Closed): BigRat: read from a string in "decimal" format?
-
22:24 CoCoALib Bug #956 (Closed): determinant: fails for 0x0 matrix (SEGV)
-
22:23 CoCoALib Bug #938 (Closed): ReadExpr: misreads 2/3^4
-
22:22 CoCoALib Bug #936 (Closed): ReadExpr: cannot handle exponent which is not integer literal
-
22:20 CoCoA-5 Feature #865: Implicit: make easier to use with rational functions
- Is there any reasonable chance of finishing this for the upcoming version? Or should we postpone it?
-
22:14 CoCoA-5 Bug #755: Find out how to compile statically on linux
- Michael Wheat reports that Anna's compilation (without libblas) works fine for him.
Does that mean we can make pro... -
22:10 CoCoA-5 Feature #964: New function: MakeMultiset?
- What applications do you have in mind?
In some ways it is not so different from a "factorization".
-
22:02 CoCoA-5 Support #973 (In Progress): GroebnerFanIdeals: verbosity and output style
- moved to #977
Robbiano suggested that it could be interesting to find the first (or at least a smallish) good prim... -
21:58 CoCoALib 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...
-
21:54 CoCoA-5 Feature #744: Handle interrupts more helpfully
- The GUI seems to work tolerably well too.
There is a problem with underlining some expressions, but that problem e... -
20:50 CoCoA-5 Feature #744 (Resolved): Handle interrupts more helpfully
- I have just checked in a version of CoCoA-5 that should handle interrupts more nicely.
I have added a new handler ... -
18:54 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #593: Temporary directories used during configuration
- Also done the @gfan@ scripts (and fixed some more tiny problems in the @gmp@ scripts).
-
12:19 CoCoALib 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:52 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- moved to #977
Does this code correctly compute the "universal denominator" for the ideal I? (...)
-
16:25 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- John Abbott wrote:
> I tried @GroebnerFanIdeals@ on the following input:
> [...]
> The resulting list @GF@ has 195... -
15:32 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- I tried @GroebnerFanIdeals@ on the following input:...
-
15:28 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- I have given this a higher priority because I think it will be quick and easy to resolve.
@Anna: can you do it? (b... -
15:27 CoCoA-5 Support #973 (Closed): GroebnerFanIdeals: verbosity and output style
- Two mild criticisms:
* it prints out an asterisk for each fan ideal found
* the generators of the ideals are not mo... -
22:47 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #817: GenRepr in CoCoALib?
- I will write GenRepr for poly/ideal leaving the marginal cases to cocoa-5 code.
-
13:25 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #971: CheckForInterrupt does not work in the expected way
- Cane we have something more compact like this?...
-
16:11 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #968 (In Progress): Slow NF example
- Here is another example which rather suggests that the problem is quite difficult in general:...
-
17:09 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #968 (In Progress): Slow NF example
- Here is a silly example where NF takes longer than it should:...
-
19:05 CoCoALib 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 CoCoALib 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 CoCoALib Feature #966: New function or explain: first and last for a vector?
- Equivalent to @first,last@:...
-
08:43 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #967: Improve saturate
- I have modified ComputeSaturation using the factorization (repeats saturation on the factors).
I don't know if that'... -
11:59 CoCoALib Slug #967: Improve saturate
- I implemented another naive algorithm (elim(h, I+(f*h-1))), but seems even worse.
-
09:20 CoCoALib Slug #967 (Resolved): Improve saturate
- saturate is slow (naive algorithm: repeated colon).
Improve it. -
16:38 CoCoALib 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 CoCoALib 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 CoCoALib Feature #357 (Feedback): Constructor for vectors? CoCoAVector
- This was done (up to 4 args): 2014/12/02
09 Nov 2016
-
18:07 CoCoA-5 Feature #954: New function: StdBasis (standard basis)
- Fixed a bug (with Robbiano)
-
17:37 CoCoA-5 Feature #965 (Closed): New function: multigraded BettiNumbers
- Add functions to print resolutions with multigradings and their Betti numbers
(BettiMatrix and BettiDiagram cannot b... -
13:51 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- I have found the (a?) slow step: there is a call to @saturate(I, ideal(RingElem(RingOf(G),G1)))@ taking a long time.
08 Nov 2016
-
16:17 CoCoA-5 Bug #963 (Feedback): Manual: XML problem with html doc
- I cheated: instead of trying to understand XSL I just changed the few "<" into "&lt;".
Works smooothly now.
(... -
15:04 CoCoA-5 Feature #964 (New): New function: MakeMultiset?
- Sometimes a function seeing a list as multiset (and counting the repeated elements) could be useful.
In practice som... -
14:40 CoCoA-5 Slug #948: radical is slow (compared to singular) on these examples
- Here is another example: CoCoA-5 took about 760s, while Singular took about 0.6s (more than 1000 times faster).
<pr...
07 Nov 2016
-
18:23 CoCoALib Feature #962 (In Progress): General verbose mode?
- Here is another idea (perhaps not so very KISS).
*NOTE* see my revision in note 10
At the start of a fn in whic... -
15:07 CoCoALib Feature #962: General verbose mode?
- I was thinking of having a *single* global variable for controlling verbosity, rather than many different names for d...
-
14:50 CoCoALib Feature #962: General verbose mode?
- For the specific case you mentioned:
in MinPoly.C set... -
13:54 CoCoALib Feature #962: General verbose mode?
- A possible design would be to have a global variable containing the verbosity level; so this would presumably be gove...
-
13:38 CoCoALib Feature #962: General verbose mode?
- Sometimes it could be helpful to have a verbose mode to understand what is happening inside a long computation (_e.g....
-
13:34 CoCoALib Feature #962 (Closed): General verbose mode?
- Might it make sense to have a general "verbose" mechanism for CoCoALib?
(in addition to the specific one for Groebne... -
17:53 CoCoALib Feature #958: New function: multiplicity and dim
- What exactly does multiplicity do?
I made the mistake of trying to compute @multiplicity(I)@ instead of @multiplic... -
16:23 CoCoA-5 Bug #963 (Closed): Manual: XML problem with html doc
- There is a problem for the manual of @StagedTrees@ because there is a "<".
I thought that was sorted out a long time... -
16:04 CoCoALib Feature #951: New function: IsSqFree
- Renamed @AreGensSquareFreeMonomial@ into @AreGensSqFreeMonomial@.
Added to CoCoA-5 (with doc) and to obsolescent.C... -
12:31 CoCoALib Feature #951: New function: IsSqFree
- I have renamed *@IsRadical@* (for @PPMonoidElem@)to *@IsSqFree@*. The old fn has been moved to @obsolescent.C@ (see ...
-
15:55 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- First pre-release for linux (64-bit)
-
13:31 CoCoALib Bug #790 (Closed): RingDistrMPolyInlFpPPImpl::mySummandPool frees ZERO PTR many times
- This was resolved a year ago. I have just performed the test suggested in comment 1, and there are no warnings (the ...
05 Nov 2016
-
17:44 CoCoA-5 Bug #755: Find out how to compile statically on linux
- A recent email from Michael Wheat reports that installing *@libopenblas@* is not sufficient (at least not for him).
... -
17:39 CoCoALib Support #953: new file for old functions: obsolescent.C
- Also added *@doc/txt/obsolescent.txt@* (with relevant changes to the index files).
Perhaps Anna could check what ...
04 Nov 2016
-
22:41 CoCoALib Support #953 (Feedback): new file for old functions: obsolescent.C
- Added @test-obsolescent.C@, @ex-obsolescent.C@ and added doc to @GlobalManager.txt@.
-
21:46 CoCoALib Support #953: new file for old functions: obsolescent.C
- Thanks, Anna! :-)
Checked in.
I did apparently lie slightly: the user has to add the include directive *and* a... -
19:02 CoCoALib Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> Is it really too much to ask the user to add just one line to their file: *@#include "CoCoA/obs... -
17:02 CoCoALib Support #953: new file for old functions: obsolescent.C
- I really do not like the idea of including obsolescent fns by default: in what sense would they be obsolescent?
Is... -
15:47 CoCoALib Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> Perhaps we do not need any preprocessor flag. What about the following approach?
>
> The fi... -
10:43 CoCoALib Support #953: new file for old functions: obsolescent.C
- Perhaps we do not need any preprocessor flag. What about the following approach?
The file *@library.H@* does not ...
03 Nov 2016
-
17:06 CoCoALib Support #953: new file for old functions: obsolescent.C
- I prefer not to have so many preprocessor flags. We do need 1 to make the contents of @obsolescent.H@ visible/invisi...
-
16:45 CoCoALib Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> My preference is that obsolescent fns remain invisible by default; the user must do something t... -
16:28 CoCoALib Support #953: new file for old functions: obsolescent.C
- I have checkedin the relevant files. The new files are called *@obsolescent.H@* and *@obsolescent.C@*.
CoCoALib i... -
11:05 CoCoALib Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> I have a first implementation (but called the file @obsolete.C@ since I find "obsolete" easier ... -
10:28 CoCoALib Support #953: new file for old functions: obsolescent.C
- I have a first implementation (but called the file @obsolete.C@ since I find "obsolete" easier to type than "obsolesc...
-
07:56 CoCoALib Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> Here are some ideas about how we might achieve a reasonable design:
> * obsolete/obsolescent f... -
08:50 CoCoALib Feature #961 (Closed): New function: ReducedGBasis
- Currently @ReducedGBasis@ is implemented in CoCoA_5.
Add it to CoCoALib, and add the flag @HasReducedGBasis@.
Suppo...
02 Nov 2016
-
22:15 CoCoALib Support #953 (In Progress): new file for old functions: obsolescent.C
- Here are some ideas about how we might achieve a reasonable design:
* obsolete/obsolescent fns go into 2 files @obso... -
20:58 CoCoALib Feature #951: New function: IsSqFree
- John Abbott wrote:
> *NOTE* the special fn for PPs is still called *@IsRadical@*; should we rename it?
yes, pleas... -
20:17 CoCoALib Feature #951: New function: IsSqFree
- John Abbott wrote:
> I believe I have fixed the SEGV bug. Checked in new version of @DUPFp.C@. @Anna: could you ch... -
18:58 CoCoALib Feature #951: New function: IsSqFree
- I believe I have fixed the SEGV bug. Checked in new version of @DUPFp.C@. @Anna: could you check? :-)
*NOTE* p... -
18:23 CoCoALib Feature #951: New function: IsSqFree
- Reducing the example. These give segv:...
-
18:17 CoCoALib Feature #951: New function: IsSqFree
- While comparing various implementations of radical(0-dim) I found this, unexpected for me:
@IsSqFree@ is quite fast ... -
18:38 CoCoALib Feature #958: New function: multiplicity and dim
- John Abbott wrote:
> Do you plan to add @MultiplicityQuot@ and @DimQuot@ to CoCoA-5?
> If one computes @dim(P/I)@, ... -
17:17 CoCoALib Feature #958 (Resolved): New function: multiplicity and dim
- Do you plan to add @MultiplicityQuot@ and @DimQuot@ to CoCoA-5?
If one computes @dim(P/I)@, does that actually creat... -
17:33 CoCoA-5 Feature #960: New function: IdealAndSeparatorsOfPoints
- Which target version were you thinking of?
-
17:19 CoCoA-5 Feature #960: New function: IdealAndSeparatorsOfPoints
- What target version do you want for this? 8-O
-
09:01 CoCoA-5 Feature #960 (New): New function: IdealAndSeparatorsOfPoints
- Check why it isn't yet available: problems for output type in CoCoALib?
-
17:13 CoCoALib Feature #957 (In Progress): New function: HasGBasis
- Even though I invented it, I do not much like the name *@TidyGens@*...
Also, it is not clear to me how to deal wit... -
15:50 CoCoALib Feature #957: New function: HasGBasis
- Also implemented the member function @IHaveGBasis@
-
15:45 CoCoALib Feature #957: New function: HasGBasis
- I implemented it.
It took a remarkably long time mostly for choosing the name and deciding where to put it.
In fact...
Also available in: Atom