Activity
From 22 Apr 2017 to 21 May 2017
19 May 2017
-
15:55 CoCoALib Slug #1049: GroebnerFan: slow examples
- ...
-
11:55 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- I just removed the coefficients to John's last example:...
-
- Just to clarify: this means that one cannot create this ring, hmmmmm.......
-
- Here is another "slightly smaller" matrix whose determinant is zero mod 32749:...
-
- Here is another example which gives trouble:...
18 May 2017
-
- Is it right that @syz@ should give error if one of the coords is zero?...
-
- The man page still calls th fn @Syz@ with a capital @S@; it should be @syz@, shouldn't it?
-
- The current solution is to do the following:...
-
- Would it make sense to allow @syz@ to be applied to a @ModuleElem@?...
-
- Should the manual page for @LinKerBasis@ also refer to the page for @syz@?
-
- I am not sure what is happening here:...
-
- The version that takes a list gives an unhelpful error when one component is zero:...
-
- What is @LinKerBasis@ supposed to do when given a list?...
-
- This is an unfriendly error message:...
-
- The CoCoA-5 function @LinKerBasis@ produces unhelpful error messages, and too many of them!
Part of the problem ma... -
- Here are some order matrices with not-too-big entries whose det is a multiple of 32749:...
-
- added tests. CVS-ed
-
- Found it in @TmpGOperations.C@:
Saturation by @ideal(f)@ calls @factor(f)@ and wrongly assumes that the factor list ... -
- Bug (radical >0 dim) trapped by Elisa Palezzato...
17 May 2017
-
- ...
-
- First problem found: @NewOrdvArith(ord)@ ic computed twice.
If @ord@ is defined by M, then many checks are done on M. -
- John Abbott wrote:
> Another approach would be to persuade GFan to produce matrices with smaller entries... this is ... -
- Another approach would be to persuade GFan to produce matrices with smaller entries... this is probably not so easy!
-
- The correct solution would be to have a proper implementation of matrix orderings without any "tricks" (too bad if it...
-
- John Abbott wrote:
> Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" ... -
- Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" using a matrix reduced...
-
- Another smaller example (but not as small as Anna's)...
-
- Smaller example, but still too big...
-
- The following causes an error:...
-
- I just implemented a workaround:
I check det(M) before calling @RemoveRedundantRows@, if not 0 return M.
-
- The function @RemoveRedundantRows@ is quite slow because of the repeated calls to @rk@.
I had thought it was not imp... -
- Now I'm more inclined to keep @MakeTermOrd@ for CoCoA-5.
Possibly make a distinction in CoCoALib (where mat and ord ... -
- OK, Anna; take a look.
I'm a bit busy with other things right now.
-
- Anna Maria Bigatti wrote:
> It would be handy to get the OrdvArith from a PPMonoid (if possible).
If John allows ... -
- It would be handy to get the OrdvArith from a PPMonoid (if possible).
This could also be used internally by the GBas... -
- We never considered that a slow ring constructor could be a problem, but may be.
In particular this bit of code:
<p... -
- I made a test: "bug-EvalTwice.cocoa5" where we can collect all cases we meet, solved or unsolved.
16 May 2017
-
- Found it! (and fixed most of them)
The problem is when using the hand functions @EvalArgAsT1OrT2..<..>(ARG(0), whic... -
- John Abbott wrote:
> Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
> Is it not enough to specify... -
- Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
Is it not enough to specify a single value N and us... -
- John Abbott wrote:
> There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
That's a kind... -
- John Abbott wrote:
> But what about @BackwardCompatible.cpkg5@? How does it differ from @obsolescent.cpkg5@?
Und... -
- There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
-
- There is also an undocumented fn called *@Rand@* in @misc.cpkg5@.
Should it be made obsolete? Or simply eliminated?... -
- The function *@ExternalLibs()@* does not work properly. It must be fixed using the new CoCoALib fn.
15 May 2017
-
- OK, I'll do it and check in tomorrow -- too busy today.
-
- ok, you convinced me: let's declare Randomize(d) obsolete, and make (in case) explicit functions for random things.
-
- We could create: @RandomLinearForm(P,100)@ or even @RandomLinearForm(P)@ if coeff ring is finite field.
-
- @L := DensePoly(P,1); randomized(L, -100,100);@ is a nice way to make lots of random linear forms.
-
- I thought @Randomize@ in CoCoA-4 would work only for polynomials (and integers). Did it also work for matrices?
K... -
- I sometimes miss old @Randomized@.
I suggest implementing it, but with explicit range: @randomized(f, 100);@ random... -
- Here are two deg 5 binomial examples:...
-
- Here are some binomial examples of deg 4:...
-
- Changed the code so that ugly primes are detected cleanly from checking divisibility, instead of using try/catch. Ad...
-
- I suggest as a first version of the man page just to put in a reference to the website; not ideal, but better than no...
-
- Currently there is a web page (I've just improved it a bit).
http://cocoa.dima.unige.it/download/screenshots.shtml
...
14 May 2017
-
- I have implemented @reseed@, and written a manual page.
Not sure about making a test... I suppose I could make an ea... -
- The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:...
-
- While looking through the CoCoA-5 on-line manual, I noticed that there are references to @Randomize@ and @Randomized@...
12 May 2017
-
- cleaned up, looks good
http://cocoa.dima.unige.it/cocoalib/doc/CoCoATranslationTable.html
We still have to decide... -
- testing and sorting
-
- Elisa Palezzato added the missing entries in the table (thanks!)
-
- Originally the translation table was done because there was no cocoa-5 manual, and to show what we had ported from co...
-
- The CoCoA-5 function *@random@* calls @random_forC5@ defined in @CoCoALibSupplement.C@.
Presumably @reseed@ can be d...
11 May 2017
-
- Yes, the last example was deliberately strange; I do not think it matters if such a strange input works...
Maybe I... -
- John Abbott wrote:
> I think my current preference is not to do anything "clever" with unusual chars: if the user ty... -
- Here are the special chars which I have noticed in the manual page headings (obtained by typing just *@?@*):
* comma... -
- I am a bit uneasy about using the following paradigm more than absolutely necessary:...
-
- Completed similar checks for implicit as well.
Cleaned up, added tests for implicit.
-
- Added the error @ERR::CannotReconstruct@ and cleaned up the code accordingly (also for similar try/catch code in @Imp...
-
- fixed, cvs-ed
-
- I have some trouble writing a bit of code because I cannot redefine an ideal in another ring.
Should we allow that, ... -
- Just a trivial task (but may be annoying).
Currently in @error.H@ we comment an error name with its string: isn't th... -
- I managed to write my loop changing rings cleanly (modular computation).
While changing characteristic I forcily had... -
- This would be convenient, but also potentially dangerous:
In the case of @RingElem@ the empty constructor gives 0 ... -
- I have some trouble writing a bit of code because I cannot redefine an ideal in another ring (changing characteristic...
10 May 2017
-
- The following fails for me:...
-
- and add test!
-
- https://cocoa.dima.unige.it/redmine/issues/1062#note-6
-
- The (rare) error thrown by @apply@ for an ugly prime in MinPolyModular was not caught.
I fixed one, but look around ... -
- When this is fixed remember to add some new tests to @exbugs.cocoa5@!
09 May 2017
-
- Found it (I had been confused by another unexpected error).
Easy: BTW I changed name to the error... -
- I had some trouble deciding *how* to catch an error:
I was expecting a possible problem in applying a partial hom, a... -
- Decide how to catch and expected error, for example a "Cannot reconstruct rational"
-
- The two bugs (0-dim and non-0-dim) are quite distinct.
Debugging the zero-dimensional example in the description o... -
- Smaller example...
-
- I'm not that surprised. Radical for non zero-dimensional ideals is not that robust.
I'm investigating
-
- This example triggers SEGV:...
-
- Aaargh!! Now I have a SEGV :-(...
-
- This example has simpler coeffs:...
-
- I have an example where @IsRadical@ produces an error (when applying a RingHom)
*0-dimensional bug: related with Min...
08 May 2017
-
- Everything for the release
# Redmine Roadmap: close or postpone issue
# Redmine Release issues: check percentages... -
-
- Closing issue, cleaning up redmine
-
- published manual on ResearchGate
-
- updated list with undelivered emails
-
- Sent email and notice on facebook page
-
-
- published manual on ResearchGate
-
- updated web page
-
- I see now that this was not done for the release.
Postpone to next.
06 May 2017
-
- Another failed attempt to test the windows emacs version on my virtual machine...
+ some clarification in windows in...
05 May 2017
-
- Trying to test windows release.
From shell it works.
From emacs I don't know: I do not have enough privilegies on t... -
- Compiled on windows, improved script @release-win-fromMac.sh@.
Uploaded release for windows.
Updated install5 web p... -
- manual pdf and html uploaded
-
- Maybe we could add the ring anyway when we do @indent(I)@
JAA simultaneously wrote the following:
Anna suggested ... -
- I am not (yet?) convinced that this is the right thing to do, partly because I think it could easily make it (even) h...
-
- Printing out an ideal gives no indication of the ring: @ideal(...)@.
For matrices we now write @matrix(/* ring descr... -
- The problem can be exhibited by doing:...
-
- In CoCoA-5, it might be nice if *@describe@* for a ring added a final newline.
-
- Winfried Bruns wrote:
> I have thought about introducing three levels of verbosity: off, the most important steps, e... -
04 May 2017
-
- pdf documentation has date, but no version number.
html and examples have no sign of either.
Fix it. -
- uploaded release, manual and examples
-
- (The example is cvs-ed in the dir IdealsModp)
I had added a ludicrous number of (unused) indeterminates: the computa... -
- I have an example which shows that creating a SparsePolyRing with matrix ordering is slower than default ordering.
03 May 2017
-
- released cocoa for linux
(asked testing)
02 May 2017
-
- -- release for Mac is done
-
- To be honest I do not recall encountering this problem in a very long time, but I also do not recall ever resolving i...
-
- Task (6): convert a ringelem to an integer or rational should be fairly easy via *@ConvertTo@*:
here is a simplistic... -
- Anna Maria Bigatti wrote:
> COCOA5_VER_MINMIN is not in configuration/version.
> Where is it? I'm looking for it.
... -
- COCOA5_VER_MINMIN is not in configuration/version.
Where is it? I'm looking for it.
01 May 2017
-
- last minute bug fix: IsPrimary false positive in some cases (found by Sandro Logar)
-
- Anna Maria Bigatti wrote:
> Still missing: make speed tests with GroebnerFan (I had some strange results)
The tim...
29 Apr 2017
-
- Still missing: make speed tests with GroebnerFan (I had some strange results)
-
-
- Still missing: copy flags.
-
-
-
- Decision: corresponding CoCoALib versions will end with "0"
Still missing: release script for windows.
28 Apr 2017
-
- While it may not be strictly correct to do it this way, I am closing this issue. We can proceed with the current imp...
-
-
- Done.
Two functions (4 in cocoalib, for default and for cone): @NmzSetVerbosityLevel/NmzVerbosityLevel@, as in cocoa... -
20:15 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Normaliz has only two levels of verbosity: off or on. Via libnormaliz this can be toggled. I think the CoCoA interfac...
-
- OK for the names @XXXSetVerbosityLevel@ and @XXXVerbosityLevel@ where @XXX@ could be @Nmz@ or some other prefix for a...
-
- John Abbott wrote:
> Currently Normaliz has just two verbosity levels (@true@ and @false@).
> There is not much pro... -
- Currently Normaliz has just two verbosity levels (@true@ and @false@).
There is not much problem in saying that nume... -
- John Abbott wrote:
> If the behaviour from the point of view of a user is similar to that of CoCoA's own @SetVerbosi... -
- If the behaviour from the point of view of a user is similar to that of CoCoA's own @SetVerbosityLevel@ then it would...
-
- should we call it @NmzSetVerbosityLevel@?
-
- JAA prefers that there be independent verbosity settings for CoCoALib and any external libraries.
-
- Should we pass the VerbosityLevel from CoCoALib?
-
-
- function renamed @message_forC5@ and moved in @CoCoALibSupplement@
-
-
- I made ReadExpr obsolescent (in CoCoA-5).
Not convinced 100% it is right, but it's not too wrong either.
documented... -
- Fixed all bugs in manual (found with make ManExamples)
-
- Another run of make ManExamples
-
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss... -
- I have changed the code (@Interpreter.C:3643@) so that the limit is 10^7 values; also changed the error message and t...
-
- John Abbott wrote:
> I have added a note to the man page about "range operator".
>
> I wonder whether a limit of ... -
- I have added a note to the man page about "range operator".
I wonder whether a limit of 10^7 would be better than ... -
- Since Winfried does not recall anything about this issue, I think we can regard it as having been resolved at some po...
-
- I have completely forgotten what the problem was. I don't think it is relevant anymore.
-
- We should ask Winfried if this problem has arisen lately. I have never seen anything like it, and I suspect that Win...
-
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- Checked: interreduction does not depend on commutativity.
Cleaned up. Closing
-
- OK, postponed: I did not receive enough information to make a decision.
-
- Is it better to postpone this than try to rush it?
-
- John Abbott wrote:
> @NewLexOrdering(N)@ or @lex(N)@.
> I wonder whether we should simply eliminate the fn @NewLe... -
-
- This seems to work well now.
Sometimes it is slow, but I think that is GFan's fault.
Closing.
-
- An issue I stumbled on recently is 3) from my wish list. I think it is not yet implemented. Suppose I produce a polyn...
-
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- The Normaliz header of the development version that will soon become 3.3.0 now lists the external packages compiled i...
-
- it is in the checklist in #851 ;-)
which I copy for every release -
- WQe mustremember to do this before each release!Closing
-
- John, close this issue, as done in #558?
-
-
- operators, shortcuts
is in the list of commands/functios
CoCoA operators
is in the chapter about operators. I... -
- I also note that in the page for @operators, shortcuts@ we use @..@ to mean "missing expression" but also to mean the...
-
- Why are there the following two manual pages?...
-
- This has been in feedback for ages (more than 2 years). I have tested on various different Linus platforms, and Anna...
-
- I think this is well tested now.
This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and... -
- We should talk to the Normaliz people again to see what they think of @cmake@ after some time using it. I thought I ...
-
- If I recall well someone (ICMS Seoul) suggested us to keep our handwritten configure.
This issue was under "CoCoA"... -
- Oh, I am of the opposite opinion.
Whatever solution we adopt, it should be as easy as possible to configure and bu... -
- I'd rather not.
First of all, it works as it is.
Secondly, CoCoALib and CoCoA-5 are strictly related: nice to keep ... -
- One possibility is to number the "see also" pages and offer a way to chose by number; for instance...
-
- I wanted to see the manual page for @SetVerbosityLevel@, but also wanted to be lazy, so I typed:...
-
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
- I would like to make a page like this: (contributions to emacs)
[[http://gnu.huihoo.org/emacs/24.4/emacs-editor/Ackn... -
- I'm slowly doing it:
we have contacted most contributors and obtained their permission.
Some have also sent the sig... -
-
- ? file io --> ? file io
? factor ; abcdefg --> don't know, maybe ? factor
? factor -- comment
? ...
27 Apr 2017
-
- I have written a simple implementation of @CleanupKeyword@, but it is rather different from the current version.
R... -
- There is a fn called *@CleanupKeyword@* at around @OnlineHelp.C:600@.
This is probably what needs to be changed!
-
- make ManExamples
done -
- Anna Maria Bigatti wrote:
> But I think useful (in addition) the actual name of the "lib" file, together with the st... -
- I compiled and it works fine.
I don't much like the "lib" names:... -
- John Abbott wrote:
> Cosa dovrebbe fare il seguente?
fixed -
- done, tested.
-
- John Abbott wrote:
> Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
yes. -
- Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
-
- I also made a small improvement to @RingElem(Ring, RingElem)@ for the (effectively useless) case when there is ring c...
-
- Updated the documentation for @RingElem@.
Now I'm ready to make @ReadExpr@ obsolescent. Should I do it now or postp... -
- updated all examples
-
- Done, documented, tested.
RingElem is better than ReadExpr because it highlights it is just for *one* RingElem.
-
- sounds good to me
-
- In fact this has already been implemented: there is an arbitrary upper limit of 10^8 elements in the result.
Perhaps... -
- Now it works well enough.
Closing! -
- Added to @VersionInfo@ (in @BuiltinFunctions.C@) the field @ExternalLibs@.
-
- Closing after 5 months in feedback. A quick test shows that the RGB is now correctly memorized: well, the example gi...
-
- Postponing as this is likely to take some time to comprehend and resolve. It is also "not critical" in that there is...
-
- I have just improved the entries for @VerbosityLevel@ and @SetVerbosityLevel@. Checked in. Closing.
-
- Postponing (because it will take some time), but also increasing priority.
-
-
- I think this is done automatically.
I did not write an example, but I think the problem was about a bug in the inter... -
- I do not like the fact that the last comment expressed doubt... but obviously I was too lazy to give any details. As...
-
- Closing after 7 months in feedback.
-
- Great thanks!! I realized only now this was the problem I had!
Teasted: it works on old emacs too.
-
- This has been in feedback for 10 months. I've not noticed any "nasty surprises" using Emacs, so it is probably OK no...
-
-
- Closing after 7 months in feedback without any problems (but probably not much stress testing either).
-
- I think it is best to skip the fancy idea suggested in comment 7, at least for the time being.
Closing after 7 mon... -
- Closing after about 1 month effectively in feedback.
I hardly ever use the readline interface myself -- almost alway... -
- Closing after 3 months in feedback, and no problems have come up.
26 Apr 2017
-
- Found missing include.
Also added mathsat and gsl -
- It says:...
-
- I have checked in some documentation.
-
- I have just checked-in my implementation (after some cleaning).
I have also modified @src/CoCoA-5/Banner.C@ so that ... -
- John Abbott wrote:
> We could simply set the field to @UNKNOWN@ or maybe @Unknown but >= v2.3.4@
OK -
- I am not yet convinced that having 2 fields is a good idea.
We could simply set the field to @UNKNOWN@ or maybe @U... -
- John Abbott wrote:
> I have a first prototype (sent to Anna by email). Currently, it is just a program in @examples... -
- John Abbott wrote:
> An alternative file in which to put the function(s) is *@BuildInfo.H/C@*.
> Advantage: no need... -
- John Abbott wrote:
> Is the intention that the gens given are *the reduced GBasis* (wrt ring ordering)?
Good ques... -
- Is the intention that the gens given are *the reduced GBasis* (wrt ring ordering)?
Or do you want to allow any GBasi... -
- Moved from cocoa-5 to cocoalib, updated calling code, and documented.
-
- port these 2 functions in cocoalib.
-
- Updated manual (after cleaned up example in GBForEveryone paper).
closing. -
- Here are some examples with binomial ideals:...
-
- Here is a strange example:...
-
- With verbosity we print the changes used. I think this was the actual request by Werner Seiler, so I close this issu...
-
- Works for John (new emacs) and for me (old emacs).
Good.
Closing. -
-
- * We are going to work on this, better postpone this.
-
- I think we are going to do more work on this topic. Postponing to next release.
-
- Changed my mind :-(
@minimalized@ is also for modules. This needs more thinking.
Postponing to next release. -
- I'm about to make @minimalized@ obsolescent (cocoa and cocoalib).
Should I do the same for @minimalize@ (suggesting... -
-
-
- Verbosity is also related to printing final statistics (#730).
That might change, but the basic progress information... -
- I cleaned up the code a bit, and settled some values for verbosity.
100 and 101 give some basic informations, for al... -
- Current version is OK, probably not final but acceptable for version 99550/5.2.0
-
- John Abbott wrote:
> If in CoCoA-5 we are happy to have @RingElem(P, str)@ do what @ReadExpr(P, str)@ currently does... -
- We should try to keep CoCoALib similar to CoCoA-5 (or make CoCoALib simpler if it is different from CoCoA-5).
If i... -
- Should we have in CoCoALib (as in CoCoA-5) @RingElem(P, string)@ behaving like @ReadExpr(P, string)@?
Currently ther... -
- John Abbott wrote:
> Should we make *@ReadExpr@* obsolescent?
Not before deciding if we want to do the same in Co... -
- Should we make *@ReadExpr@* obsolescent?
-
- Done (cocoa5) and checked in.
-
- OK, I'll implement "3".
Should I modify CoCoALib as well?
-
- John Abbott wrote:
> Or should we just wait until the function is really needed? The @sprint@ solution can be used ... -
- As already indicated in the description, I do not much like the awkward syntax @RingElem(P, ["a",i])@.
I do see th... -
- Fixed, now calls @ReadExpr@.
Documented.
I kept the syntax @RingElem(P, ["a", i])@ because it allows variable indic...
25 Apr 2017
-
- If we make @RingElem(P, str)@ behave like @ReadExpr(P, str)@ then @ReadExpr@ becomes essentially redundant.
I thin...
24 Apr 2017
-
- Currently implemented 2, meaningful error message.
-
- In cocoalib we have ReadExpr(P, *string*) and RingElem(P, *symbol*), but in cocoa-5 they both take a string.
I spent... -
- I am now sufficiently convinced by the current design that I am closing this issue.
The flags in @PREPROCESSOR_DEFNS... -
- I have a first prototype (sent to Anna by email). Currently, it is just a program in @examples/@.
The main proble... -
- An alternative file in which to put the function(s) is *@BuildInfo.H/C@*.
Advantage: no need to create any new fil... -
- I propose putting the new function(s) in a new file called @ExternalLibs.H@ (and @ExternalLibs.C@ of course!).
This ... -
- I propose a new feature: CoCoALib should offer a function(s) for finding out which "external libraries" have been com...
22 Apr 2017
-
- Can we close this issue and open a new one about the problem of CoCoA-5 not seeing which external libs are in CoCoALi...
-
- Anna, you have not answered my question in comment 6: whether to make obsolescent @NewLexOrdering@
-
- The current code works without any apparent problems, so we can just accept it as it is. It may not be the best desi...
-
- I am hoping this can be completed very soon (within a week?).
I have just run @make valgrind@ in @src/tests/@ and ... -
- Anna, can we postpone this to the next release?
I think that the problem I mentioned in comment 14 means that this... -
- Closing after 2 months in feedback without any problems being reported.
-
- I have redesigned the interface to use a RAII-style approach. Documentation and example has been updated.
So the do... -
- The solution is: *we do not define a @square@ function*. Use @power(...,2)@ instead!
-
- Closing because it has been properly solved. I hope I'll be more careful next time... if there is a next time.
-
- Regarding this as solved by issue #1019. Closing.
Also available in: Atom