Activity
From 08 Oct 2016 to 06 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).
...
02 Nov 2016
- 17:33 Feature #960: New function: IdealAndSeparatorsOfPoints
- Which target version were you thinking of?
- 17:19 Feature #960: New function: IdealAndSeparatorsOfPoints
- What target version do you want for this? 8-O
- 09:01 Feature #960 (New): New function: IdealAndSeparatorsOfPoints
- Check why it isn't yet available: problems for output type in CoCoALib?
27 Oct 2016
- 17:15 Feature #959 (Feedback): New function: SymmetricPolys
- 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
... - 08:55 Feature #954 (Feedback): New function: StdBasis (standard basis)
- 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...
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 (...
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... - 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@...
- 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@...
- 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 ...
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... - 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
- 12:39 Bug #946: Function "ideal" evaluates the argument twice
- Are there any other fns with a similar problem? 8-{
- 12:18 Bug #946: Function "ideal" evaluates the argument twice
- Here is some code we could add to one of the CoCoA-5 tests:...
- 11:40 Bug #946: Function "ideal" evaluates the argument twice
- Two test cases:...
- 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@ ... - 11:03 Bug #946 (Resolved): Function "ideal" evaluates the argument twice
- @ideal(RING, func(...))@ evaluates func once,
@ideal(func(...))@ evaluates func twice.
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....
- 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...
- 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...
- 13:20 Bug #757: readline: fix script for finding libreadline
- The options relating to @readline@ have inconsistent names:
* *@--with-readline=@*
* *@--with-libreadline=@*
The...
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".
- 17:40 Bug #100: BringIn should map only the indets in its arg
- This will be a little tricky so postponing.
- 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 ...
- 17:25 Feature #7: Automatic mapping between (some) rings
- No chance of finishing this is in the near future; postponing by 1 version.
- 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 ... - 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 ... - 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... - 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...
- 13:05 Feature #183: Template for unaryMinus?
- Postponing again; also lowered priority to *low*.
- 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).
- 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...
- 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.
12 Oct 2016
- 18:25 Bug #945: Emacs UI: comint buffer silently truncates(?) long lines when sending
- The following URL may help:...
- 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...
- 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...
- 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; ... - 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...
- 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) - 15:58 Support #851 (In Progress): Release: CoCoA-5.2.0
- First round of @make ManExamples@
(checked and made a few fixes in Makefile) - 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 ... - 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... - 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? ...
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...
- 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... - 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...
- 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... - 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...
- 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.... - 18:23 Bug #880 (Feedback): subst should check that indet is in same ring as 1st arg, but does not.
- 18:23 Bug #880: subst should check that indet is in same ring as 1st arg, but does not.
- Done. cvs-ed.
- 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... - 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... - 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... - 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@... - 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@... - 14:41 Design #868 (Feedback): Der, Bin: why the capital letter?
- Should we change @deriv@ into @der@ in CoCoALib?
- 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?
- 17:05 Feature #877 (Feedback): Easier syntax to make a PRINCIPAL ideal?
- Close this issue? I think that @ideal(x)@ is hard to beat ;-)
- 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 ... - 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@...
- 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... - 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... - 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... - 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. - 14:34 Feature #903: New function CallOnGroebnerFanIdeals: call function on GFan ideals
- cvs-ed manual
- 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 ... - 13:51 Feature #927: Add "exit" in addition to "ciao"
- I have added the keywords *@exit@* and *@quit@* to the file @cocoa5.el@.
- 13:40 Bug #918 (Closed): UniversalGBasis: sometimes gives error
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 ... - 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....
Also available in: Atom