Activity
From 23 Nov 2016 to 22 Dec 2016
14 Dec 2016
-
11:40 CoCoA-5 Feature #993 (In Progress): New function: RingQQi()? extension of QQ with imaginary unit
- It would be handy to have @RingQQi()@ (or @NewRingQQi()@).
Very simple to do in CoCoA5 (in this case it has to be ...
13 Dec 2016
-
18:04 CoCoALib Feature #992: Poly ring homomorphism to change ordering
- This may be just a special case of "extending a PPMonoid homomorphism" to a poly ring homomorphism.
It could also ... -
17:05 CoCoALib Feature #992 (New): Poly ring homomorphism to change ordering
- It could be helpful to have an easy way of mapping from one poly ring to another which just changes the term ordering...
-
16:53 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- I think it is probably better to copy explicitly the files we want in the distribution, rather than copy everything a...
08 Dec 2016
-
20:08 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)
- The files to check for changes should be @CoCoAHelp.xml@, @aux-files/GUI_help.xsl@, and the files in @aux-files/GUI-e...
-
13:13 CoCoA-5 Slug #991: make htmldoc always recreates everything (even if no change was made)
- It may be enough to create (using @touch@?) two sentinel files: one immediately before producing all the HTML files, ...
-
13:10 CoCoA-5 Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)
- It is mildly annoying that the @htmldoc@ target is always rebuilt even if there was no change to the file @CoCoAHelp....
07 Dec 2016
-
07:53 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- John Abbott wrote:
> I imagine that @README@ is not needed; all the permissions look wrong to me!
@README@ shoul...
05 Dec 2016
-
15:01 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- I am trying to write a @make install@ target for CoCoA-5, and this involves copying the manual.
Rather than blindly ... -
14:55 CoCoA-5 Design #990 (In Progress): CoCoA-5 distribution: tidying
- I have noticed that several files inside our source tree have wrong permissions:
* all @source.C@ files should have ... -
14:50 CoCoA-5 Design #990 (Closed): CoCoA-5 distribution: tidying
- I have had a quick look at the files in the distribution of CoCoA-5.1.5, and I think some tidying is needed.
* Sever... -
10:30 CoCoALib Feature #931: GBasis verbose mode
- Added first verbosity comments activated with...
02 Dec 2016
-
09:13 CoCoALib 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...
01 Dec 2016
-
11:36 CoCoA-5 Design #989 (In Progress): init file obligatory?
- If it can be done quickly, I see no objection to having a *@--no-packages@* option.
I am not entirely happy about ... -
11:32 CoCoA-5 Feature #988 (Resolved): Makefile: install target for cocoa5
- I have opted to use a symbolic link from @/usr/local/bin/cocoa5@ to the actual script which does the work (_e.g._ @/u...
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!
Also available in: Atom