Project

General

Profile

Activity

From 07 Oct 2016 to 05 Nov 2016

05 Nov 2016

17:44 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).
...
John Abbott

02 Nov 2016

17:33 Feature #960: New function: IdealAndSeparatorsOfPoints
Which target version were you thinking of? John Abbott
17:19 Feature #960: New function: IdealAndSeparatorsOfPoints
What target version do you want for this? 8-O
John Abbott
09:01 Feature #960 (New): New function: IdealAndSeparatorsOfPoints
Check why it isn't yet available: problems for output type in CoCoALib? Anna Maria Bigatti

27 Oct 2016

17:15 Feature #959 (Feedback): New function: SymmetricPolys
Anna Maria Bigatti
17:12 Feature #959 (Closed): New function: SymmetricPolys
[request by L.Robbiano]
SymmPoly = lista dei SymmPoly[D]
SymmPoly[D] = somma dei monomi squarefree di grado D
...
Anna Maria Bigatti
08:55 Feature #954 (Feedback): New function: StdBasis (standard basis)
Anna Maria Bigatti
08:54 Feature #954 (Closed): New function: StdBasis (standard basis)
This is essentially the same as TgCone, but without selecting the Initial forms and returning a LIST (a bit like Gbas... Anna Maria Bigatti

19 Oct 2016

10:16 Slug #948: radical is slow (compared to singular) on these examples
The first example (with 24 indets) was consuming over 7Gbytes of RAM after 15 hours of CPU, so I killed the process (... John Abbott

18 Oct 2016

15:16 Slug #948: radical is slow (compared to singular) on these examples
I've just added a first check if the ideal is zero-dimensional.
Thanks to our new MinPoly that is much faster.
This...
Anna Maria Bigatti
15:01 Slug #948: radical is slow (compared to singular) on these examples
Here is Mario's second example: I have chosen @ZZ/(101)@ for the coeffs, but the original was over @QQ@... John Abbott
15:00 Slug #948: radical is slow (compared to singular) on these examples
Here is Mario's first example: I have used coeffs in @ZZ/(101)@ but the original was over @QQ@... John Abbott
14:59 Slug #948 (Closed): radical is slow (compared to singular) on these examples
Mario gave me two examples where Singular computes the radical *much* faster than CoCoA does.
I'll put the examples ...
John Abbott

17 Oct 2016

17:41 Bug #946: Function "ideal" evaluates the argument twice
From looking at the code in @BuiltinFunctions-CoCoALib.C@, here is a list of other suspect impls:
* *@len@*
* *@syz...
John Abbott
13:13 Bug #946: Function "ideal" evaluates the argument twice
Oh dear! The problem is more widespread. Even @len@ evaluates its arg twice 8-O
John Abbott
12:39 Bug #946: Function "ideal" evaluates the argument twice
Are there any other fns with a similar problem? 8-{
John Abbott
12:18 Bug #946: Function "ideal" evaluates the argument twice
Here is some code we could add to one of the CoCoA-5 tests:... John Abbott
11:40 Bug #946: Function "ideal" evaluates the argument twice
Two test cases:... John Abbott
11:36 Bug #946 (In Progress): Function "ideal" evaluates the argument twice
Having just looked at the code, I'm not entirely surprised.
Also why are there calls to @evalArgAsListOfRingElem@ ...
John Abbott
11:03 Bug #946 (Resolved): Function "ideal" evaluates the argument twice
@ideal(RING, func(...))@ evaluates func once,
@ideal(func(...))@ evaluates func twice.
Anna Maria Bigatti

14 Oct 2016

16:34 Slug #709: Speed of some Normaliz calls (NmzComputation)
I have reconfirmed that there is strange behaviour on the Linux machine here in Kassel. Compiler is @g++@ version 5.... John Abbott
14:43 Feature #877: Easier syntax to make a PRINCIPAL ideal?
Getting a better error message from the input @ideal(R,x)@ would be decidedly tricky. The error is actually triggere... John Abbott
14:31 Feature #877: Easier syntax to make a PRINCIPAL ideal?
The source code the *@ideal@* function in CoCoA-5 appears to start at about line 1520 in @BuiltInFunctions-CoCoALib.C... John Abbott
13:20 Bug #757: readline: fix script for finding libreadline
The options relating to @readline@ have inconsistent names:
* *@--with-readline=@*
* *@--with-libreadline=@*
The...
John Abbott

13 Oct 2016

17:45 Feature #927 (Feedback): Add "exit" in addition to "ciao"
I have also change the "goodbye pop-up window" in the GUI so that it says "Ciao" instead of "Bye".
John Abbott
17:40 Bug #100: BringIn should map only the indets in its arg
This will be a little tricky so postponing. John Abbott
17:29 Support #181: Functions throwing error even though (trivially) defined
Another postponement. It is probably nice for a user to find in a single place a summary of the main quirks/foibles ... John Abbott
17:25 Feature #7: Automatic mapping between (some) rings
No chance of finishing this is in the near future; postponing by 1 version.
John Abbott
14:25 Bug #757: readline: fix script for finding libreadline
Should there also be an option to say not to use @readline@ even if it is present?
If so, what should the option be ...
John Abbott
13:39 Design #491: Cleaning: Cruft in CoCoA-5 packages
This issue seems dormant, in reality every time we open a package we clean it up a little bit ;-)
(for example with ...
Anna Maria Bigatti
13:12 Design #491: Cleaning: Cruft in CoCoA-5 packages
This is going to be a long and tedious job; moreover it should probably be done when Anna and I can be together.
F...
John Abbott
13:08 Bug #755 (In Progress): Find out how to compile statically on linux
Since the fns which depend on @libblas@ are not documented, perhaps all public versions should be without them (not j... John Abbott
13:05 Feature #183: Template for unaryMinus?
Postponing again; also lowered priority to *low*.
John Abbott
13:03 Bug #712: External Libs: missing dependencies in Makefiles
Postponing because I have no idea how to resolve this (certainly not in the near future). John Abbott
12:59 Feature #857: floor, ceil, and NearestInt for RingElem in CoCoA-5?
I am postponing this issue; perhaps I'll wait until it becomes "necessary" for some other task, then decide what to d... John Abbott
12:57 Bug #519: GUI: fix DEFINES in makefile
This has been dormant for over two years; should we just close it? I guess Limbeck is/was unable to test it for us. John Abbott

12 Oct 2016

18:25 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
The following URL may help:... John Abbott
17:19 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
One easy way to avoid the problem is to paste the line into a buffer in @cocoa5-mode@ (_e.g._ associated to a CoCoA-5... John Abbott
17:15 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
Note that issue #433 dealt with the problem of sending long lines from a @cocoa5-mode@ buffer to the interactive CoCo... John Abbott
17:08 Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending
I sent a long line to an interactive cocoa5 inside emacs (v.24.5).
CoCoA saw only the first part of the input line; ...
John Abbott
16:56 Feature #13: (short) manual for emacs interface
This is probably not the right place, but I happened upon the following web page about problems with Emacs becoming v... John Abbott
16:02 Support #851: Release: CoCoA-5.2.0
Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
(automatize this step)
Anna Maria Bigatti
15:58 Support #851 (In Progress): Release: CoCoA-5.2.0
First round of @make ManExamples@
(checked and made a few fixes in Makefile)
Anna Maria Bigatti
15:07 Design #943: Managing credits
Yes, it would be good to find a way of giving recognition to those who have contributed to CoCoA(Lib).
A possible ...
John Abbott
14:29 Design #943 (In Progress): Managing credits
From #711 (8) (External Libs: print credits?)
If we do implement some scheme for recognising use of external librari...
Anna Maria Bigatti
14:33 Feature #711 (Feedback): External Libs: print credits?
list of linked libraries is printed what cocoa starts.
For the refinements I opened issue #943.
Feedback on this? ...
Anna Maria Bigatti

10 Oct 2016

21:13 Support #940: Check all fns in packages work even without BackwardCompatible.cpkg5
There is quite a lot of "cruft" in the packages: either commented out code or code which I suspect can never be calle... John Abbott
21:04 Support #940 (In Progress): Check all fns in packages work even without BackwardCompatible.cpkg5
I have already make a first pass at cleaning up the packages, but there is still more to do.
The CoCoA-5 tests are...
John Abbott
20:55 Support #940 (Closed): Check all fns in packages work even without BackwardCompatible.cpkg5
Even though (we hope that) all the packages are destined to migrate to CoCoALib, it is probably worth keeping them re... John Abbott
21:09 Support #941: Improve coverage of CoCoA-5 tests
This is likely to be an arduous task, and will surely take a long time.
My hope is that the same tests can still b...
John Abbott
21:07 Support #941 (New): Improve coverage of CoCoA-5 tests
While trying to "modernize" the CoCoA-5 packages, I thought that running the CoCoA-5 tests would be a good way of tra... John Abbott
18:54 Design #929 (In Progress): Clean up CoCoALibSupplement
I had already done some cleaning, so that now @IsConvertible@ is not used.
Now I removed the commented out old code....
Anna Maria Bigatti
18:23 Bug #880 (Feedback): subst should check that indet is in same ring as 1st arg, but does not.
Anna Maria Bigatti
18:23 Bug #880: subst should check that indet is in same ring as 1st arg, but does not.
Done. cvs-ed. Anna Maria Bigatti
17:53 Design #868: Der, Bin: why the capital letter?
Anna Maria Bigatti wrote:
> Every so often we should run the tests without the BackwardCompatible package. (I tho...
John Abbott
17:01 Design #868: Der, Bin: why the capital letter?
John Abbott wrote:
> By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
Yes, that's w...
Anna Maria Bigatti
16:51 Design #868: Der, Bin: why the capital letter?
By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
We could even move @Bin@ to @obsole...
John Abbott
16:05 Design #868: Der, Bin: why the capital letter?
No need to do any change: the official names are indeed @binomial@ and @deriv@ as in cocoalib.
I'd rather keep @Bin@...
Anna Maria Bigatti
15:38 Design #868: Der, Bin: why the capital letter?
My preference is for *@deriv@* in both CoCoALib and CoCoA-5, but that is not backward compatible :-/
I think @deriv@...
John Abbott
14:41 Design #868 (Feedback): Der, Bin: why the capital letter?
Should we change @deriv@ into @der@ in CoCoALib? Anna Maria Bigatti
17:44 Feature #845: Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
I believe this is at a good point, especially for prime cardinality. Elisa? Anna Maria Bigatti
17:05 Feature #877 (Feedback): Easier syntax to make a PRINCIPAL ideal?
Close this issue? I think that @ideal(x)@ is hard to beat ;-) Anna Maria Bigatti
16:04 Design #939: Rename Fact to factorial?
No need to do any change: the official name is indeed @factorial@.
I'd rather keep @Fact@ working smoothly for some ...
Anna Maria Bigatti
15:28 Design #939: Rename Fact to factorial?
In #868 (comment 3) Anna pointed out that the name *@Fact@* could easily be seen as ambiguous (short for *@factorial@... John Abbott
15:21 Design #939 (Closed): Rename Fact to factorial?
I suggest renaming *@Fact@* to *@factorial@*, the same name as used in CoCoALib.
This change is not backward-compati...
John Abbott
15:13 Bug #852 (Feedback): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
Yes, apparently I thought I still needed the version in the xml, but I don't.
I cannot imagine what may go wrong rem...
Anna Maria Bigatti
14:56 Bug #852: fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml
It seems this is no longer needed.
... I cannot find any use of version and date in online.C...
another thing I did...
Anna Maria Bigatti
14:38 Support #863 (Feedback): CoCoA-5 manual: IsInteger and IsRational are missing?
I wrote it in June, and forgot to report it.
Feedback now.
Anna Maria Bigatti
14:34 Feature #903: New function CallOnGroebnerFanIdeals: call function on GFan ideals
cvs-ed manual Anna Maria Bigatti
13:44 Feature #903 (Feedback): New function CallOnGroebnerFanIdeals: call function on GFan ideals
added @CallOnGroebnerFanIdeals@. Works fine.
Philosophically a stream would be cleaner, but no time to think about ...
Anna Maria Bigatti
13:51 Feature #927: Add "exit" in addition to "ciao"
I have added the keywords *@exit@* and *@quit@* to the file @cocoa5.el@.
John Abbott
13:40 Bug #918 (Closed): UniversalGBasis: sometimes gives error
Anna Maria Bigatti

08 Oct 2016

22:04 Feature #606: Evaluate in ring operator (was called :: in CoCoA-4)
The suggestion of another function (perhaps called @ReadExprList@) still seems good to me.
Hmmm, but then again a ...
John Abbott
21:59 Feature #909 (Feedback): ReadExpr: decimal point
I think I have fixed it all now.
The comment about changed semantics (comment 5) no longer holds!
Note that @1....
John Abbott
 

Also available in: Atom