Activity
From 05 Oct 2016 to 03 Nov 2016
03 Nov 2016
-
17:06 CoCoALib Support #953: new file for old functions: obsolescent.C
- I prefer not to have so many preprocessor flags. We do need 1 to make the contents of @obsolescent.H@ visible/invisi...
-
16:45 CoCoALib Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> My preference is that obsolescent fns remain invisible by default; the user must do something t... -
- I have checkedin the relevant files. The new files are called *@obsolescent.H@* and *@obsolescent.C@*.
CoCoALib i... -
- John Abbott wrote:
> I have a first implementation (but called the file @obsolete.C@ since I find "obsolete" easier ... -
- I have a first implementation (but called the file @obsolete.C@ since I find "obsolete" easier to type than "obsolesc...
-
- John Abbott wrote:
> Here are some ideas about how we might achieve a reasonable design:
> * obsolete/obsolescent f... -
- Currently @ReducedGBasis@ is implemented in CoCoA_5.
Add it to CoCoALib, and add the flag @HasReducedGBasis@.
Suppo...
02 Nov 2016
-
- Here are some ideas about how we might achieve a reasonable design:
* obsolete/obsolescent fns go into 2 files @obso... -
- John Abbott wrote:
> *NOTE* the special fn for PPs is still called *@IsRadical@*; should we rename it?
yes, pleas... -
- John Abbott wrote:
> I believe I have fixed the SEGV bug. Checked in new version of @DUPFp.C@. @Anna: could you ch... -
- I believe I have fixed the SEGV bug. Checked in new version of @DUPFp.C@. @Anna: could you check? :-)
*NOTE* p... -
- Reducing the example. These give segv:...
-
- While comparing various implementations of radical(0-dim) I found this, unexpected for me:
@IsSqFree@ is quite fast ... -
- John Abbott wrote:
> Do you plan to add @MultiplicityQuot@ and @DimQuot@ to CoCoA-5?
> If one computes @dim(P/I)@, ... -
- Do you plan to add @MultiplicityQuot@ and @DimQuot@ to CoCoA-5?
If one computes @dim(P/I)@, does that actually creat... -
- Which target version were you thinking of?
-
- What target version do you want for this? 8-O
-
- Check why it isn't yet available: problems for output type in CoCoALib?
-
- Even though I invented it, I do not much like the name *@TidyGens@*...
Also, it is not clear to me how to deal wit... -
- Also implemented the member function @IHaveGBasis@
-
- I implemented it.
It took a remarkably long time mostly for choosing the name and deciding where to put it.
In fact...
27 Oct 2016
-
-
- [request by L.Robbiano]
SymmPoly = lista dei SymmPoly[D]
SymmPoly[D] = somma dei monomi squarefree di grado D
... -
- Done. Still need documentation.
-
- @multiplicity@ and @dim@ are implemented in cocoa-5.
Bring them to cocoalib.
The names should be *@MultiplicityQu... -
- I am still puzzled about how best to handle the trivial cases (0x0 and 1x1 matrices).
The relevant code is only 2 ... -
- The problem was simply that the generic Bariess code failed (on the very last line) when given a 0x0 matrix.
I hav... -
- The following triggers a SEGV:...
-
- I have added a test (which revealed issue #956).
I would check in, but EduRoam is being more than usually obstructiv... -
- Perhaps the function is not that widely usable, but it was handy for something I was doing, so I made it publicly ava...
-
- Write a new function which produces random unimodular matrices of integers.
-
- How to know if the GBasis has already been computed? there is a member flag (myGBasisIsValid), but we should have a ...
-
- What is the status of this issue?
I believe the code is there (and presumably has been active for some time).
-
- It make sense for the ordering matrices to be over @ZZ@; for @IdentityMat@ it is useful to be able to specify the rin...
-
-
- This is essentially the same as TgCone, but without selecting the Initial forms and returning a LIST (a bit like Gbas...
26 Oct 2016
-
- In CoCoA-5 we have @obsolescent.cpkg5@, a package with all the functions declared obsolescent, for example if they ha...
25 Oct 2016
-
- While testing @IsSqFree@ I observed that CoCoALib is very slow at computing @gcd(f,f')@ where @f = (x^2+1)*(x^27-x)@ ...
-
- I have checked in code for the new fn *@IsSqFree@* (incl. tests and doc).
It is not complete:
* currently gives e...
24 Oct 2016
-
- A function which tests whether a value is square-free is probably going to be quite similar to a function which deter...
-
- Currently there is a function called @IsRadical(PP)@ for a PPMonoidElem.
Should it be called @IsSquareFree@?
"A n... -
- Write function IsSquareFree (or IsSqFr, or IsSqFree) for a RingElem
-
- I like the idea of a fn @IsSqFree@; it certainly could be faster than testing equality with the radical (and also cle...
-
- After spending some time thinking and writing, I realized that we would need a
@IsSqFree(f)@ which could be consider... -
- After some more reading, it seems that the usual structure is @QQ(x_1, x_2, ..., x_n)[u1, u2,...]@ where the expressi...
21 Oct 2016
-
- I think there could be problems with removing indets by giving them values: if there is an embedded 0-dim component t...
-
- Does that mean that you are in favour of offering the user the choice between a fast (and probably correct) answer, o...
-
- @ProbSmoothFactor@?
or @SmoothFactor(n)@ and @SmoothFactor(n, "NoProb")@?
20 Oct 2016
-
- I can make @factor@ and @SmoothFactor@ for integers faster in some cases by calling @IsProbPrime@.
The risk is that ... -
- Checked in the code. Also two new tests @test-NumTheory6@ and @test-SparsePolyRing3@.
No documentation yet.
Name... -
- John Abbott wrote:
> Currently I have used *@radical@* in CoCoALib, and *@rad@* in CoCoA-5 (to avoid a clash with th... -
- Before checking in which name should I use?
Currently I have used *@radical@* in CoCoALib, and *@rad@* in CoCoA-5 ... -
- I have an implementation in CoCoALib. It took so long because of a "mysterious bug" in @ContentFreeFactor@.
My cu... -
- The ctor args for a @DifferentialAlgebra@ are the following:
* *@n@* number of "independent variables"
* *@k@* numb...
19 Oct 2016
-
- Some of Erika's people would like this to be in CoCoALib sooner rather than later!
-
- 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
-
- (from SC^2)
We could (easily?) implement a function doing an incremental GBasis: if I has GBasis GB, and we add a po... -
- John Abbott wrote:
> I wonder if a probabilistic approach could work. If the ideal is 0-dim, the speed is adequate.... -
- I wonder if a probabilistic approach could work. If the ideal is 0-dim, the speed is adequate. If not, perhaps we c...
-
- The crude idea was just to run the usual code for computing the radical, and if at some point we determine with certa...
-
- Apart from 0-dim (already implemented), and monomial, how can you determine it?
-
- There is now "IsRadical" for 0-dimensional ideals. (and it's in our paper in progress ;-)
I've just realized I forg... -
- Werner and Mario ask whether it could make sense to have an @IsRadical@ function for ideals; can this be determined s...
-
- I've just added a first check if the ideal is zero-dimensional.
Thanks to our new MinPoly that is much faster.
This... -
- Here is Mario's second example: I have chosen @ZZ/(101)@ for the coeffs, but the original was over @QQ@...
-
- Here is Mario's first example: I have used coeffs in @ZZ/(101)@ but the original was over @QQ@...
-
- Mario gave me two examples where Singular computes the radical *much* faster than CoCoA does.
I'll put the examples ... -
- This would be quite useful. For the time being should we just add...
17 Oct 2016
-
- From looking at the code in @BuiltinFunctions-CoCoALib.C@, here is a list of other suspect impls:
* *@len@*
* *@syz... -
- Oh dear! The problem is more widespread. Even @len@ evaluates its arg twice 8-O
-
- Are there any other fns with a similar problem? 8-{
-
- Here is some code we could add to one of the CoCoA-5 tests:...
-
- Two test cases:...
-
- Having just looked at the code, I'm not entirely surprised.
Also why are there calls to @evalArgAsListOfRingElem@ ... -
- @ideal(RING, func(...))@ evaluates func once,
@ideal(func(...))@ evaluates func twice.
14 Oct 2016
-
- I have reconfirmed that there is strange behaviour on the Linux machine here in Kassel. Compiler is @g++@ version 5....
-
- Getting a better error message from the input @ideal(R,x)@ would be decidedly tricky. The error is actually triggere...
-
- The source code the *@ideal@* function in CoCoA-5 appears to start at about line 1520 in @BuiltInFunctions-CoCoALib.C...
-
- The options relating to @readline@ have inconsistent names:
* *@--with-readline=@*
* *@--with-libreadline=@*
The...
13 Oct 2016
-
- I have also change the "goodbye pop-up window" in the GUI so that it says "Ciao" instead of "Bye".
-
- This will be a little tricky so postponing.
-
- Another postponement. It is probably nice for a user to find in a single place a summary of the main quirks/foibles ...
-
- No chance of finishing this is in the near future; postponing by 1 version.
-
- Should there also be an option to say not to use @readline@ even if it is present?
If so, what should the option be ... -
- This issue seems dormant, in reality every time we open a package we clean it up a little bit ;-)
(for example with ... -
- This is going to be a long and tedious job; moreover it should probably be done when Anna and I can be together.
F... -
- Since the fns which depend on @libblas@ are not documented, perhaps all public versions should be without them (not j...
-
- Postponing again; also lowered priority to *low*.
-
- Postponing because I have no idea how to resolve this (certainly not in the near future).
-
- I am postponing this issue; perhaps I'll wait until it becomes "necessary" for some other task, then decide what to d...
-
- This has been dormant for over two years; should we just close it? I guess Limbeck is/was unable to test it for us.
-
- Thanks John! Now we have only the "16bytes"...
12 Oct 2016
-
- The following URL may help:...
-
- 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...
-
- Note that issue #433 dealt with the problem of sending long lines from a @cocoa5-mode@ buffer to the interactive CoCo...
-
- I sent a long line to an interactive cocoa5 inside emacs (v.24.5).
CoCoA saw only the first part of the input line; ... -
- I'll do @test-OrderedRing2@.... there is a leak in twinfloat.
I know where it is; now I just have to find a nice way... -
- Anna Maria Bigatti wrote:
> First run of valgrind (I had to reinstall valgrind on my mac...)
> [...]
The "16-byt... -
- First run of valgrind (I had to reinstall valgrind on my mac...)...
-
-
- John Abbott wrote:
> Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
OK, moved i... -
- Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
-
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss... -
- This is probably not the right place, but I happened upon the following web page about problems with Emacs becoming v...
-
- Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
(automatize this step) -
- First round of @make ManExamples@
(checked and made a few fixes in Makefile) -
- Yes, it would be good to find a way of giving recognition to those who have contributed to CoCoA(Lib).
A possible ... -
- From #711 (8) (External Libs: print credits?)
If we do implement some scheme for recognising use of external librari... -
- list of linked libraries is printed what cocoa starts.
For the refinements I opened issue #943.
Feedback on this? ...
10 Oct 2016
-
- I have put this issue under CoCoALib, but it is just as relevant to CoCoA-5.
In general my personal preference is ... -
- I notice that we have the following 2 names for functions: *@intersection@* and *@saturate@*.
In CoCoA-3 and CoCoA... -
- There is quite a lot of "cruft" in the packages: either commented out code or code which I suspect can never be calle...
-
- I have already make a first pass at cleaning up the packages, but there is still more to do.
The CoCoA-5 tests are... -
- Even though (we hope that) all the packages are destined to migrate to CoCoALib, it is probably worth keeping them re...
-
- 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... -
- While trying to "modernize" the CoCoA-5 packages, I thought that running the CoCoA-5 tests would be a good way of tra...
-
- I had already done some cleaning, so that now @IsConvertible@ is not used.
Now I removed the commented out old code.... -
-
- Done. cvs-ed.
-
- Anna Maria Bigatti wrote:
> Every so often we should run the tests without the BackwardCompatible package. (I tho... -
- John Abbott wrote:
> By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
Yes, that's w... -
- By "smoothly" do you mean that it should not yet be moved to @obsolete.cpkg5@?
We could even move @Bin@ to @obsole... -
- No need to do any change: the official names are indeed @binomial@ and @deriv@ as in cocoalib.
I'd rather keep @Bin@... -
- My preference is for *@deriv@* in both CoCoALib and CoCoA-5, but that is not backward compatible :-/
I think @deriv@... -
- Should we change @deriv@ into @der@ in CoCoALib?
-
- I believe this is at a good point, especially for prime cardinality. Elisa?
-
- Close this issue? I think that @ideal(x)@ is hard to beat ;-)
-
- No need to do any change: the official name is indeed @factorial@.
I'd rather keep @Fact@ working smoothly for some ... -
- In #868 (comment 3) Anna pointed out that the name *@Fact@* could easily be seen as ambiguous (short for *@factorial@...
-
- I suggest renaming *@Fact@* to *@factorial@*, the same name as used in CoCoALib.
This change is not backward-compati... -
- Yes, apparently I thought I still needed the version in the xml, but I don't.
I cannot imagine what may go wrong rem... -
- It seems this is no longer needed.
... I cannot find any use of version and date in online.C...
another thing I did... -
- I wrote it in June, and forgot to report it.
Feedback now. -
- cvs-ed manual
-
- added @CallOnGroebnerFanIdeals@. Works fine.
Philosophically a stream would be cleaner, but no time to think about ... -
- I have added the keywords *@exit@* and *@quit@* to the file @cocoa5.el@.
-
08 Oct 2016
-
- Unfortunately the code for reading "decimal numbers" appears twice: once in *@operator>>@* for @BigRat@ and once agai...
-
- I have now implemented the following:
after @^@ there may be an unsigned integer literal or @(@ optional-sign unsign... -
- The suggestion of another function (perhaps called @ReadExprList@) still seems good to me.
Hmmm, but then again a ... -
- I think I have fixed it all now.
The comment about changed semantics (comment 5) no longer holds!
Note that @1.... -
- I have fixed it now, and added a new @test-RingElem5@ for the function @ReadExpr@ (for rational numbers).
Trickier...
07 Oct 2016
-
- I see no choice but to make @2/3^4@ read as an expression @div(2, power(3,4))@, and this implies that all rationals e...
06 Oct 2016
-
- It is a slightly subtle bug: at first sight it seems reasonable that @<constant>^<integer>@ should yield the obvious ...
-
- After my change to @ReadExpr@ so that it can read rational numbers, the fn now misreads @"2/3^4"@ and produces 16/81 ...
-
- Currently in MinPoly.C there is a class IncrLinDep.
It is small and neat: I think this is the perfect paradigm for a... -
- John Abbott wrote:
> What exactly do we want to allow in the exponents?
> The simplest solution would be to allow e...
05 Oct 2016
-
- The relevant source is around line 100 of @RingElemInput.C@
-
- What exactly do we want to allow in the exponents?
The simplest solution would be to allow either an integer liter... -
- The fn @ReadExpr@ fails if input contains an exponent which is not an integer literal: for instance...
-
- I'm not sure how related this is: a twin-float value can be printed out with a trailing @<dot>@ if the value is very ...
Also available in: Atom