Activity
From 06 Oct 2016 to 04 Nov 2016
04 Nov 2016
-
22:41 Support #953 (Feedback): new file for old functions: obsolescent.C
- Added @test-obsolescent.C@, @ex-obsolescent.C@ and added doc to @GlobalManager.txt@.
-
21:46 Support #953: new file for old functions: obsolescent.C
- Thanks, Anna! :-)
Checked in.
I did apparently lie slightly: the user has to add the include directive *and* a... -
19:02 Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> Is it really too much to ask the user to add just one line to their file: *@#include "CoCoA/obs... -
17:02 Support #953: new file for old functions: obsolescent.C
- I really do not like the idea of including obsolescent fns by default: in what sense would they be obsolescent?
Is... -
15:47 Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> Perhaps we do not need any preprocessor flag. What about the following approach?
>
> The fi... -
10:43 Support #953: new file for old functions: obsolescent.C
- Perhaps we do not need any preprocessor flag. What about the following approach?
The file *@library.H@* does not ...
03 Nov 2016
-
17:06 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 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... -
16:28 Support #953: new file for old functions: obsolescent.C
- I have checkedin the relevant files. The new files are called *@obsolescent.H@* and *@obsolescent.C@*.
CoCoALib i... -
11:05 Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> I have a first implementation (but called the file @obsolete.C@ since I find "obsolete" easier ... -
10:28 Support #953: new file for old functions: obsolescent.C
- I have a first implementation (but called the file @obsolete.C@ since I find "obsolete" easier to type than "obsolesc...
-
07:56 Support #953: new file for old functions: obsolescent.C
- John Abbott wrote:
> Here are some ideas about how we might achieve a reasonable design:
> * obsolete/obsolescent f... -
08:50 Feature #961 (Closed): New function: ReducedGBasis
- Currently @ReducedGBasis@ is implemented in CoCoA_5.
Add it to CoCoALib, and add the flag @HasReducedGBasis@.
Suppo...
02 Nov 2016
-
22:15 Support #953 (In Progress): new file for old functions: obsolescent.C
- Here are some ideas about how we might achieve a reasonable design:
* obsolete/obsolescent fns go into 2 files @obso... -
20:58 Feature #951: New function: IsSqFree
- John Abbott wrote:
> *NOTE* the special fn for PPs is still called *@IsRadical@*; should we rename it?
yes, pleas... -
20:17 Feature #951: New function: IsSqFree
- John Abbott wrote:
> I believe I have fixed the SEGV bug. Checked in new version of @DUPFp.C@. @Anna: could you ch... -
18:58 Feature #951: New function: IsSqFree
- I believe I have fixed the SEGV bug. Checked in new version of @DUPFp.C@. @Anna: could you check? :-)
*NOTE* p... -
18:23 Feature #951: New function: IsSqFree
- Reducing the example. These give segv:...
-
18:17 Feature #951: New function: IsSqFree
- While comparing various implementations of radical(0-dim) I found this, unexpected for me:
@IsSqFree@ is quite fast ... -
18:38 Feature #958: New function: multiplicity and dim
- John Abbott wrote:
> Do you plan to add @MultiplicityQuot@ and @DimQuot@ to CoCoA-5?
> If one computes @dim(P/I)@, ... -
17:17 Feature #958 (Resolved): New function: multiplicity and dim
- Do you plan to add @MultiplicityQuot@ and @DimQuot@ to CoCoA-5?
If one computes @dim(P/I)@, does that actually creat... -
17:13 Feature #957 (In Progress): New function: HasGBasis
- Even though I invented it, I do not much like the name *@TidyGens@*...
Also, it is not clear to me how to deal wit... -
15:50 Feature #957: New function: HasGBasis
- Also implemented the member function @IHaveGBasis@
-
15:45 Feature #957: New function: HasGBasis
- 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
-
16:36 Feature #958: New function: multiplicity and dim
- Done. Still need documentation.
-
16:34 Feature #958 (Resolved): New function: multiplicity and dim
- @multiplicity@ and @dim@ are implemented in cocoa-5.
Bring them to cocoalib.
The names should be *@MultiplicityQu... -
16:26 Bug #956: determinant: fails for 0x0 matrix (SEGV)
- I am still puzzled about how best to handle the trivial cases (0x0 and 1x1 matrices).
The relevant code is only 2 ... -
14:16 Bug #956 (Resolved): determinant: fails for 0x0 matrix (SEGV)
- The problem was simply that the generic Bariess code failed (on the very last line) when given a 0x0 matrix.
I hav... -
14:13 Bug #956 (Closed): determinant: fails for 0x0 matrix (SEGV)
- The following triggers a SEGV:...
-
15:58 Feature #955: RandomUnimodularMat - random unimodular matrix (of integers)
- I have added a test (which revealed issue #956).
I would check in, but EduRoam is being more than usually obstructiv... -
13:17 Feature #955 (Feedback): RandomUnimodularMat - random unimodular matrix (of integers)
- Perhaps the function is not that widely usable, but it was handy for something I was doing, so I made it publicly ava...
-
13:12 Feature #955 (Closed): RandomUnimodularMat - random unimodular matrix (of integers)
- Write a new function which produces random unimodular matrices of integers.
-
14:42 Feature #957 (Closed): New function: HasGBasis
- How to know if the GBasis has already been computed? there is a member flag (myGBasisIsValid), but we should have a ...
-
13:59 Feature #11: Bareiss algorithm
- What is the status of this issue?
I believe the code is there (and presumably has been active for some time).
-
11:22 Design #311 (Feedback): XelMat, StdDegRevLexMat, ... should be MatrixView
- It make sense for the ordering matrices to be over @ZZ@; for @IdentityMat@ it is useful to be able to specify the rin...
26 Oct 2016
-
17:44 Support #953 (Closed): new file for old functions: obsolescent.C
- In CoCoA-5 we have @obsolescent.cpkg5@, a package with all the functions declared obsolescent, for example if they ha...
25 Oct 2016
-
23:03 Slug #952 (Closed): GCD very slow
- While testing @IsSqFree@ I observed that CoCoALib is very slow at computing @gcd(f,f')@ where @f = (x^2+1)*(x^27-x)@ ...
-
23:01 Feature #951 (Feedback): New function: IsSqFree
- I have checked in code for the new fn *@IsSqFree@* (incl. tests and doc).
It is not complete:
* currently gives e...
24 Oct 2016
-
17:51 Feature #951 (In Progress): New function: IsSqFree
- A function which tests whether a value is square-free is probably going to be quite similar to a function which deter...
-
17:29 Feature #951: New function: IsSqFree
- Currently there is a function called @IsRadical(PP)@ for a PPMonoidElem.
Should it be called @IsSquareFree@?
"A n... -
17:19 Feature #951 (Closed): New function: IsSqFree
- Write function IsSquareFree (or IsSqFr, or IsSqFree) for a RingElem
-
17:14 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- I like the idea of a fn @IsSqFree@; it certainly could be faster than testing equality with the radical (and also cle...
-
16:54 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- After spending some time thinking and writing, I realized that we would need a
@IsSqFree(f)@ which could be consider... -
15:32 Feature #838: Differential algebra
- 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
-
14:24 Feature #947: IsRadical for ideal?
- I think there could be problems with removing indets by giving them values: if there is an embedded 0-dim component t...
-
14:14 Design #950 (In Progress): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- Does that mean that you are in favour of offering the user the choice between a fast (and probably correct) answer, o...
-
07:46 Design #950: factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- @ProbSmoothFactor@?
or @SmoothFactor(n)@ and @SmoothFactor(n, "NoProb")@?
20 Oct 2016
-
20:10 Design #950 (Closed): factor and SmoothFactor for integers --> FactorINT, FactorINT_TrialDiv, FactorINT_PollardRho
- I can make @factor@ and @SmoothFactor@ for integers faster in some cases by calling @IsProbPrime@.
The risk is that ... -
20:08 Feature #796 (Resolved): CoCoALib function for radical (or SqFree) of a polynomial
- Checked in the code. Also two new tests @test-NumTheory6@ and @test-SparsePolyRing3@.
No documentation yet.
Name... -
16:10 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- John Abbott wrote:
> Currently I have used *@radical@* in CoCoALib, and *@rad@* in CoCoA-5 (to avoid a clash with th... -
15:44 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- Before checking in which name should I use?
Currently I have used *@radical@* in CoCoALib, and *@rad@* in CoCoA-5 ... -
13:30 Feature #796 (In Progress): CoCoALib function for radical (or SqFree) of a polynomial
- I have an implementation in CoCoALib. It took so long because of a "mysterious bug" in @ContentFreeFactor@.
My cu... -
16:32 Feature #838 (In Progress): Differential algebra
- The ctor args for a @DifferentialAlgebra@ are the following:
* *@n@* number of "independent variables"
* *@k@* numb...
19 Oct 2016
-
10:26 Feature #440: Port RealRoots to C++
- Some of Erika's people would like this to be in CoCoALib sooner rather than later!
18 Oct 2016
-
17:49 Feature #949 (New): New function: IdealWithIncrementalGBasis(I, f)
- (from SC^2)
We could (easily?) implement a function doing an incremental GBasis: if I has GBasis GB, and we add a po... -
16:06 Feature #947: IsRadical for ideal?
- John Abbott wrote:
> I wonder if a probabilistic approach could work. If the ideal is 0-dim, the speed is adequate.... -
16:02 Feature #947: IsRadical for ideal?
- I wonder if a probabilistic approach could work. If the ideal is 0-dim, the speed is adequate. If not, perhaps we c...
-
15:51 Feature #947 (In Progress): IsRadical for ideal?
- The crude idea was just to run the usual code for computing the radical, and if at some point we determine with certa...
-
15:19 Feature #947: IsRadical for ideal?
- Apart from 0-dim (already implemented), and monomial, how can you determine it?
-
15:03 Feature #947: IsRadical for ideal?
- There is now "IsRadical" for 0-dimensional ideals. (and it's in our paper in progress ;-)
I've just realized I forg... -
14:56 Feature #947 (In Progress): IsRadical for ideal?
- Werner and Mario ask whether it could make sense to have an @IsRadical@ function for ideals; can this be determined s...
-
15:12 Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- This would be quite useful. For the time being should we just add...
13 Oct 2016
-
11:31 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Thanks John! Now we have only the "16bytes"...
12 Oct 2016
-
18:08 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- 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... -
18:02 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Anna Maria Bigatti wrote:
> First run of valgrind (I had to reinstall valgrind on my mac...)
> [...]
The "16-byt... -
17:49 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- First run of valgrind (I had to reinstall valgrind on my mac...)...
-
16:10 Support #944 (In Progress): Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
-
16:06 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- John Abbott wrote:
> Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
OK, moved i... -
15:42 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Add also to check whether the CoCoA-5 tests pass with @BackwardCompatible.cpkg5@
-
15:04 Support #944 (Closed): Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss...
10 Oct 2016
-
21:20 Support #942: Which names to use? Intersection/saturation vs intersect/saturate
- I have put this issue under CoCoALib, but it is just as relevant to CoCoA-5.
In general my personal preference is ... -
21:18 Support #942 (In Progress): Which names to use? Intersection/saturation vs intersect/saturate
- I notice that we have the following 2 names for functions: *@intersection@* and *@saturate@*.
In CoCoA-3 and CoCoA...
08 Oct 2016
-
22:24 Feature #910: BigRat: read from a string in "decimal" format?
- Unfortunately the code for reading "decimal numbers" appears twice: once in *@operator>>@* for @BigRat@ and once agai...
-
22:10 Bug #936 (Feedback): ReadExpr: cannot handle exponent which is not integer literal
- I have now implemented the following:
after @^@ there may be an unsigned integer literal or @(@ optional-sign unsign... -
21:55 Bug #938 (Feedback): ReadExpr: misreads 2/3^4
- I have fixed it now, and added a new @test-RingElem5@ for the function @ReadExpr@ (for rational numbers).
Trickier...
07 Oct 2016
-
15:15 Bug #938 (In Progress): ReadExpr: misreads 2/3^4
- 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
-
11:38 Bug #938: ReadExpr: misreads 2/3^4
- It is a slightly subtle bug: at first sight it seems reasonable that @<constant>^<integer>@ should yield the obvious ...
-
11:37 Bug #938 (Closed): ReadExpr: misreads 2/3^4
- After my change to @ReadExpr@ so that it can read rational numbers, the fn now misreads @"2/3^4"@ and produces 16/81 ...
-
08:30 Feature #937 (Closed): LinDepMill: Mill for linear dependencies
- Currently in MinPoly.C there is a class IncrLinDep.
It is small and neat: I think this is the perfect paradigm for a... -
07:47 Bug #936: ReadExpr: cannot handle exponent which is not integer literal
- John Abbott wrote:
> What exactly do we want to allow in the exponents?
> The simplest solution would be to allow e...
Also available in: Atom