Activity
From 21 Oct 2016 to 19 Nov 2016
18 Nov 2016
-
23:09 CoCoALib Feature #951 (Closed): New function: IsSqFree
-
-
-
-
-
-
- Is there any reasonable chance of finishing this for the upcoming version? Or should we postpone it?
-
- Michael Wheat reports that Anna's compilation (without libblas) works fine for him.
Does that mean we can make pro... -
- What applications do you have in mind?
In some ways it is not so different from a "factorization".
-
- moved to #977
Robbiano suggested that it could be interesting to find the first (or at least a smallish) good prim... -
- I have now changed the call to @CheckForInterrupt@ in @TmpGReductor@ to the simple call that I had expected to see, a...
-
- The GUI seems to work tolerably well too.
There is a problem with underlining some expressions, but that problem e... -
- I have just checked in a version of CoCoA-5 that should handle interrupts more nicely.
I have added a new handler ... -
- Another possibile one-line format could put the script name in brackets somehow:
(first line is the current format)
... -
- One suggestion for the format of the error messages is to use 2 lines, perhaps like this:...
-
- While unformity is nice, it is not so important if the existing scripts work well enough ==> low priority.
I think... -
- There are numerous auxiliary shell scripts (in directory @configuration/@).
They do not have a uniform way of commun... -
- If I recall well, with the @clang@ compiler there is a compile-time error with the platform-specific flags from the "...
-
- I have updated all the auxiliary scripts to use temp dirs in @/tmp@ following the naming convention suggested above. ...
-
- Also done the @gfan@ scripts (and fixed some more tiny problems in the @gmp@ scripts).
-
- I have now adopted the following naming convention for the tmp dirs:
*@/tmp/CoCoALib-config-abbott-2016-11-18/gmp-cx...
17 Nov 2016
-
- moved to #977
Does this code correctly compute the "universal denominator" for the ideal I? (...)
-
16:25 CoCoA-5 Support #973: GroebnerFanIdeals: verbosity and output style
- John Abbott wrote:
> I tried @GroebnerFanIdeals@ on the following input:
> [...]
> The resulting list @GF@ has 195... -
- I tried @GroebnerFanIdeals@ on the following input:...
-
- I have given this a higher priority because I think it will be quick and easy to resolve.
@Anna: can you do it? (b... -
- Two mild criticisms:
* it prints out an asterisk for each fan ideal found
* the generators of the ideals are not mo... -
- I have changed the @gmp-XYZ.sh@ scripts... configuration still works on my machine (I think).
-
- Some scripts need to know where the *@ExternalLibs@* directory is located.
I think the simplest way to pass in this ... -
- Using @/tmp@ for temporary directories is very tempting, but must be done safely (_e.g._ cannot have two users trying...
-
- I have modified the script @gmp-cxx-flags.sh@. A quick test on my machine passed (well, the first few tests didn't p...
-
- I hope to resolve this while I'm here, and can see what happens on Gereon's cloud.
Of course, it is tedious having... -
- Gereon had a strange problem. He was compiling on a cloud VM, and got strange error messages about the platform-spec...
-
- This should really be under CoCoA-5, but I hope that @RealRoots@ will soon be migrated to C++ (see #440).
My curre... -
- The fn @RealRoots@ lets a user specify an interval in which to look for real roots.
If the initial ends points are n... -
- Here is a possible design:
* user deals with a smart-pointer class (_e.g._ like ideal)
* internally there is an abs... -
- Here are some possible applications:
* converting polynomials to/from CoCoALib (_e.g._ other library may keep terms ... -
- Just adding some *keywords* to this issue (so it is easier to find via redmine search).
*Summation*, *summer*, *summ... -
- I will write GenRepr for poly/ideal leaving the marginal cases to cocoa-5 code.
-
- Clearly it was not possible to have it by summer 2016 :-)
@Anna: would it be easy to add?
-
- Here is a possible way to implement the idea in comment 2.
The "index" could be a pair of pointers: one pointer to... -
- Since the feature being exhibited in the examples is called @SparsePolyIter@, it makes more sense that the files be c...
-
- There are examples for using @SparsePolyIter@; why are the files they are in called @ex-PolyIterator@?
@ex-PolyIte...
14 Nov 2016
-
- Cane we have something more compact like this?...
-
- I have made some changes to @Interpreter.C@ (mostly adding catch commands for @InterruptReceived@).
I have not (ye... -
- In issue #714 I had guessed that the only place I needed to catch @InterruptReceived@ was around line 2678 of @Interp...
-
- As far as I can see, the CoCoA-5 interpreter needs to be modified so that it catches both @CoCoA::ErrorInfo@ and @CoC...
-
- Looking at the call to @CheckForInterrupt@ in @GReductor::myReduceCurrentSPoly@ (around line 760 of @TmpGReductor.C@)...
11 Nov 2016
-
- I suggest proceeding with definition (a):
* it is already implemented
* it is easy to explain/describe
If we com... -
- I prefer (c) to (b) perhaps because it is sparser.
(a) and (c) clearly do not give the same term-ordering though t... -
- (similar for ElimHomogMat)
What should @ElimMat([2,3], mat([[1,5,2]]));@ return? (now it is (a))... -
- I have added the relevant line to all instances of @operator<<@ (for @ostream@, but not for OpenMath output fns).
... -
- I have just checked in a first impl of "verbose".... including doc and an example (but no test).
Perhaps we can tr... -
- With reference to comment 6, and the example there.
I now think it would be better to require that the programmer ...
10 Nov 2016
-
- I constructed the example in comment 5 by taking a sparse polynomial (in this case @z^30-1@) which has a factorizatio...
-
- Here is another example which rather suggests that the problem is quite difficult in general:...
-
- John Abbott wrote:
> This makes me think that it has effectively computed @(x+y+z+1)^498@ and then discovered that a... -
- On the fixed linux box here it took about 210s to compute @NF(f,I)@.
This makes me think that it has effectively c... -
- John Abbott wrote:
> When computing a @NF(x^999*y^999,I)@ we can use either GBasis element for the reduction.
> CoC... -
- When computing a @NF(x^999*y^999,I)@ we can use either GBasis element for the reduction.
CoCoA ought to prefer reduc... -
- Here is a silly example where NF takes longer than it should:...
-
- John Abbott wrote:
> I am concerned that they may make wasteful copies of the elements of the list/vector.
Surely... -
- I am not yet convinced that @first@ and @last@ are good ideas for C++.
What exactly are the hoped-for semantics? ... -
- Equivalent to @first,last@:...
-
- In CoCoA-5 we often first and last for making sub-lists.
This is tedious to translate into C++.
Make good C++ docum... -
- I have tried a quick experiment, and can confirm that (on my computer) creating an @ofstream@ with a default ctor (_i...
-
- A reasonable development strategy could be to resolve #931 (verbose for GBasis) using the ideas suggested here.
When... -
- I tried interrupting a long gbasis computation (as part of one of Mario's long radical examples). The computation ha...
-
- I see that there is an involutive saturation.
How does that work in general? should we use that instead of GBases?
-
- I have modified ComputeSaturation using the factorization (repeats saturation on the factors).
I don't know if that'... -
- I implemented another naive algorithm (elim(h, I+(f*h-1))), but seems even worse.
-
- saturate is slow (naive algorithm: repeated colon).
Improve it. -
- The motivation behind this issue is the idea of using an @ostream@ with its bad-bit set to simulate @/dev/null@.
T... -
- Functions for outputting values should return immediately if the output stream is bad.
This is potentially important... -
- This was done (up to 4 args): 2014/12/02
09 Nov 2016
-
- Fixed a bug (with Robbiano)
-
- Add functions to print resolutions with multigradings and their Betti numbers
(BettiMatrix and BettiDiagram cannot b... -
- I have found the (a?) slow step: there is a call to @saturate(I, ideal(RingElem(RingOf(G),G1)))@ taking a long time.
08 Nov 2016
-
- I cheated: instead of trying to understand XSL I just changed the few "<" into "&lt;".
Works smooothly now.
(... -
- Sometimes a function seeing a list as multiset (and counting the repeated elements) could be useful.
In practice som... -
- Here is another example: CoCoA-5 took about 760s, while Singular took about 0.6s (more than 1000 times faster).
<pr...
07 Nov 2016
-
- Here is another idea (perhaps not so very KISS).
*NOTE* see my revision in note 10
At the start of a fn in whic... -
- I was thinking of having a *single* global variable for controlling verbosity, rather than many different names for d...
-
- For the specific case you mentioned:
in MinPoly.C set... -
- A possible design would be to have a global variable containing the verbosity level; so this would presumably be gove...
-
- Sometimes it could be helpful to have a verbose mode to understand what is happening inside a long computation (_e.g....
-
- Might it make sense to have a general "verbose" mechanism for CoCoALib?
(in addition to the specific one for Groebne... -
- What exactly does multiplicity do?
I made the mistake of trying to compute @multiplicity(I)@ instead of @multiplic... -
- There is a problem for the manual of @StagedTrees@ because there is a "<".
I thought that was sorted out a long time... -
- Renamed @AreGensSquareFreeMonomial@ into @AreGensSqFreeMonomial@.
Added to CoCoA-5 (with doc) and to obsolescent.C... -
- I have renamed *@IsRadical@* (for @PPMonoidElem@)to *@IsSqFree@*. The old fn has been moved to @obsolescent.C@ (see ...
-
- First pre-release for linux (64-bit)
-
- This was resolved a year ago. I have just performed the test suggested in comment 1, and there are no warnings (the ...
05 Nov 2016
-
- A recent email from Michael Wheat reports that installing *@libopenblas@* is not sufficient (at least not for him).
... -
- Also added *@doc/txt/obsolescent.txt@* (with relevant changes to the index files).
Perhaps Anna could check what ...
04 Nov 2016
-
- Added @test-obsolescent.C@, @ex-obsolescent.C@ and added doc to @GlobalManager.txt@.
-
- Thanks, Anna! :-)
Checked in.
I did apparently lie slightly: the user has to add the include directive *and* a... -
- John Abbott wrote:
> Is it really too much to ask the user to add just one line to their file: *@#include "CoCoA/obs... -
- I really do not like the idea of including obsolescent fns by default: in what sense would they be obsolescent?
Is... -
- John Abbott wrote:
> Perhaps we do not need any preprocessor flag. What about the following approach?
>
> The fi... -
- Perhaps we do not need any preprocessor flag. What about the following approach?
The file *@library.H@* does not ...
03 Nov 2016
-
- I prefer not to have so many preprocessor flags. We do need 1 to make the contents of @obsolescent.H@ visible/invisi...
-
- 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")@?
Also available in: Atom