Activity
From 06 Oct 2016 to 04 Nov 2016
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