Project

General

Profile

Activity

From 07 Jul 2018 to 05 Aug 2018

05 Aug 2018

18:30 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
Moved to cocoalib, because now implemented in C++. Anna Maria Bigatti
18:26 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
I have implemented in cocoalib the function @GBasisViaHomog@ (homog-->compute-->dehomog), as it was in the old cocoa... Anna Maria Bigatti
18:21 CoCoALib Feature #1212: New function: GBasisByHomog
Implemented for the case ordering is StdDegRevLex (@SparsePolyOps-ideal.C@).
This is enough for PrimaryDecomposition...
Anna Maria Bigatti
16:41 CoCoALib Feature #1212 (Closed): New function: GBasisByHomog
Implement GBasis computation via homogenization Anna Maria Bigatti
16:19 CoCoALib Feature #966 (In Progress): New function or explain: first and last for a vector?
Anna Maria Bigatti

03 Aug 2018

18:11 CoCoALib Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
John Abbott
18:09 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators
John Abbott
17:55 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
I have just tried the 9.16s example from comment 3. It now *does not finish* in a reasonable time for me.
Using v...
John Abbott
17:41 CoCoALib Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim
John Abbott
17:40 CoCoALib Feature #901 (Closed): New function: PrimaryDecomposition0 in CoCoALib
Work was done but not registered here. Anna does not recall how many hours. John Abbott
17:37 CoCoALib Slug #1165 (Closed): MinPoly over QQ: verification may be very slow
John Abbott
17:31 CoCoALib Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring
John Abbott
17:28 CoCoALib Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
What should the fn signature be? Should there be more than one signature?
* *(1)* @void coeffs(vector<RingElem& C, ...
John Abbott
17:18 CoCoALib Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis)
In @SparsePolyOps-MinPoly.C@ (near line 70) there is a private fn for computing the coeffs of a poly wrt to a PP basi... John Abbott
17:20 CoCoALib Bug #1211 (Closed): HilbertSeries should check grading
... Anna Maria Bigatti
17:16 CoCoALib Slug #1009 (Closed): coefficients for MinPoly e Frobenius
John Abbott
17:14 CoCoALib Feature #1209 (Closed): New function: HasPositiveGrading
It would be handy to have a function saying whether a polynomial ring (or a ppmonoid) has a positive grading.
This w...
Anna Maria Bigatti
17:08 CoCoALib Feature #1005 (Closed): Makefile: install target for CoCoALib
*SUMMARY: it has not yet been tested much, but is probably safe enough to "close" this issue*
John Abbott
17:04 CoCoALib Design #1124 (Closed): Move examples directory into doc -- or just change makefile?
*SUMMARY: we leave @examples/@ directory where it is (as it is more visible to the user), and have created a special ... John Abbott
17:01 CoCoALib Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?
*SUMMARY: we have removed the version of @IsPositiveGrading@ which took 2 args*
(nobody seemed to need it, except pe...
John Abbott
16:56 CoCoALib Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
*SUMMARY: yes, @BigInter@ goes into the same file where the iterator class is defined* John Abbott
16:27 CoCoALib Design #1182 (Closed): "mod" for BigInt
*SOLUTION: improved the documentation*
Main point is that defn in C/C++ is deliberately ambiguous. JAA chose to d...
John Abbott
16:18 CoCoALib Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files
John Abbott
16:17 CoCoALib Design #1145 (Closed): File names, coding conventions: Fns, Ops, Operations? part 2
*FINAL DECISION: we use the abbreviation @Ops@ for "operations"@
All files have been renamed; in some cases they hav...
John Abbott
16:15 CoCoALib Design #410 (Closed): New file: BigRatOps
John Abbott
16:14 CoCoALib Feature #1154 (Closed): SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime
*Aim effectively achieved by the new class @SmallPrime@*
(this is a cleaner and more general solution than one origi...
John Abbott
16:11 CoCoALib Feature #1155 (Closed): Create a new "prime source" iterator
*SUMMARY*
*Created 5 new iterators for generating primes (or "almost primes")*
*Created new type @SmallPrime@*
...
John Abbott
16:05 CoCoALib Feature #1131 (Closed): Sturm sequence
The impl ought to be generalized (to any "ordered field"). This is probably not an easy task, so let's wait until it... John Abbott
16:01 CoCoALib Design #1162 (Closed): Check semantics of NoSmallFactorSeq
John Abbott
15:56 CoCoALib Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers)
John Abbott
15:53 CoCoALib Support #847 (Closed): Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?
The doc has already been split. Everything has worked fine for 2 months. Closing.
John Abbott
14:32 CoCoALib Support #1099 (Closed): MinPolyQuot: missing doc
Anna Maria Bigatti
14:31 CoCoALib Bug #1199 (Closed): GCD bug with high degree arg
Anna Maria Bigatti

02 Aug 2018

18:38 CoCoALib Bug #1199 (Feedback): GCD bug with high degree arg
This is resolved.
The exponent check in the homomorphism calls is already quite good in detecting extreme examples l...
Anna Maria Bigatti
18:33 CoCoALib Design #707: MatrixOrderingMod32749Impl: test and write documentation!
As explained in Bug #1199:
I added and exponent overflow check in @ApplySPRCodomain@ (and also in @GeneralPPMonoidHo...
Anna Maria Bigatti
17:29 CoCoALib Feature #1167 (Closed): New class VerificationLevel
Made and used for MinPoly.
(and documented, by John Abbott)
Anna Maria Bigatti
17:27 CoCoALib Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals
Anna Maria Bigatti
17:26 CoCoALib Design #1179: Clean up SparsePolyOps-MonomialIdeals
Some work has been done (in parallel with ZeroDimIdeals).
More thorough checks needed.
Postponing.
Anna Maria Bigatti
17:04 CoCoALib Design #1163 (Closed): Split SparsePolyRing.C in smaller files
Effectively solved. Mostly with @SparsePolyOps-xxx@ files (issue #1177) Anna Maria Bigatti
16:59 CoCoALib Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)
*RandomLinearForm(P, RndSeq)* has been moved to its own new issue. Anna Maria Bigatti
16:58 CoCoALib Bug #1208 (New): New function: Threadsafe RandomLinearForm (CoCoALib)
We have RandomLinearForm, but it is not threadsafe.
Probably there should also be a version with interface: *Rando...
Anna Maria Bigatti
16:43 CoCoALib Feature #958: New function: multiplicity and dim
Yet to be fixed: non homogeneous input.
(postponed)
Anna Maria Bigatti
16:42 CoCoALib Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
Anna Maria Bigatti
16:20 CoCoALib Feature #1126 (Closed): New function: SubmoduleOfMinGens
Done // Revision 1.30 2017/11/20 20:10:26 bigatti
Anna Maria Bigatti
16:12 CoCoALib Feature #1126 (In Progress): New function: SubmoduleOfMinGens
@SubmoduleOfMinGens@ is implemented (in place of minimalized) Anna Maria Bigatti
16:19 CoCoALib Feature #1207 (New): New function: SubmoduleOfGBasis
as @IdealOfGBasis@ Anna Maria Bigatti
16:06 CoCoALib Design #764 (Closed): ExternalLib: simplify configuration
I've added MathSAT last year: I guess I suffered less, maybe I improved something?
I did not update this issue.
I ...
Anna Maria Bigatti
16:04 CoCoALib Slug #967 (Resolved): Improve saturate
The fix I did is not bad for that class of examples, and to say it is slow we should make proper comparisons....
pos...
Anna Maria Bigatti
15:09 CoCoALib Bug #1205 (Feedback): SyzOfGens: bug with zero generators
... Anna Maria Bigatti
14:54 CoCoALib Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?
It makes to be able to compute... Anna Maria Bigatti
13:14 CoCoALib Design #1124 (Feedback): Move examples directory into doc -- or just change makefile?
After a long design discussion, John Abbott and I decided to try, as a first step, to separate from the examples make... Anna Maria Bigatti

01 Aug 2018

09:37 CoCoA-5 Feature #1174: package of a function --> of an identifier!
Waiting for a proper implementation in C++, we can do something like @starting@. Anna Maria Bigatti
08:19 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators
... Anna Maria Bigatti

31 Jul 2018

14:39 CoCoA-5 Feature #1204 (New): MinPoly for matrix: fix in cocoalib and export to cocoa5
MinPoly for matrix has an implementation in cocoalib and another in mat.cpkg5.
Compare them, clean up cocoalib, and ...
Anna Maria Bigatti
14:34 CoCoALib Feature #900: New function: MinPoly of RingElem in quotient ring
Works in cocoalib, but not ported in cocoa5 because of exported fn @MinPoly@ defined in package *@mat.cpkg5@*. Anna Maria Bigatti
14:26 CoCoALib Feature #900 (Feedback): New function: MinPoly of RingElem in quotient ring
Anna Maria Bigatti
14:25 CoCoALib Slug #1181 (Closed): CpuTime is costly!
Anna Maria Bigatti
14:21 CoCoALib Slug #1009: coefficients for MinPoly e Frobenius
done.
@coefficients@ in anonymous namespace in @SparsePolyOps-MinPoly.C@
Anna Maria Bigatti
14:21 CoCoALib Slug #1165 (Feedback): MinPoly over QQ: verification may be very slow
Anna Maria Bigatti
14:20 CoCoALib Support #1099 (Feedback): MinPolyQuot: missing doc
Anna Maria Bigatti
13:15 CoCoALib Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)
Anna Maria Bigatti
13:13 CoCoA-5 Bug #1157 (Closed): FactorAlgExt
Anna Maria Bigatti
13:13 CoCoALib Feature #1203 (Closed): factor over algebraic extensions
Anna Maria Bigatti
13:12 CoCoALib Feature #1203 (Closed): factor over algebraic extensions
port factor (for algebraic extensions) to cocoalib (SC2 work) Anna Maria Bigatti
12:11 CoCoA-5 Slug #907 (Feedback): ApproxSolve very slow on this example
I tested the examples, they are now quite fast.
I suggest closing this.
(controlling the error in the evaluation is...
Anna Maria Bigatti
12:03 CoCoA-5 Slug #1114: Some other examples for 0-dim radical
Checked. They are all reasonably fast using timeout.
Closed.
Anna Maria Bigatti
11:54 CoCoALib Design #1184 (Resolved): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
John Abbott wrote:
> I agree that @BeginIter@ should be with the other iterator fns.
> Should the file be called @S...
Anna Maria Bigatti

30 Jul 2018

18:13 CoCoALib Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
I agree that @BeginIter@ should be with the other iterator fns.
Should the file be called @SparsePolyOps-iter@???
John Abbott
16:15 CoCoALib Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
I think it should be in @SparsePolyIter@ Anna Maria Bigatti
18:02 CoCoA-5 Feature #1007 (Closed): (makefile) New "clean" target which does not clean documentation
Closing this issue. Maybe a similar one will be reopened later if some problems arise.
John Abbott
14:46 CoCoA-5 Bug #1152 (Closed): Release: problems with sed
I have just checked *@doc/Makefile@* and noticed that it calls both @sed@ and @txt2tags@ without specifying the full ... John Abbott
14:36 CoCoA-5 Feature #1202 (Closed): New package: arrangements
Functions for arrangements (for School in Sapporo Aug 2018) Anna Maria Bigatti
14:36 CoCoA-5 Feature #1201 (Closed): New package: poset
Functions for posets (for School in Sapporo Aug 2018) Anna Maria Bigatti
14:33 CoCoA-5 Support #1188 (Closed): Product of empty list: manual and code disagree
Have not really tested, but what can go wrong??? John Abbott
14:28 CoCoA-5 Feature #978 (Closed): CommonDenom: for polys and lists?
Anna Maria Bigatti
14:23 CoCoA-5 Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0
Anna Maria Bigatti
14:22 CoCoA-5 Feature #1122 (Closed): New fn: RandomLinearForm
Closing John Abbott
14:20 CoCoA-5 Slug #1114: Some other examples for 0-dim radical
Probably better now: we are using timeout.
Run and compare.
Anna Maria Bigatti
14:17 CoCoA-5 Bug #1189 (Closed): HilbertBasisKer: unhelpful error with some inputs
Closing John Abbott
14:15 CoCoA-5 Bug #1190 (Closed): HilbertBasisKer: SEGV (again)
CLosing John Abbott
14:10 CoCoA-5 Design #1164 (Feedback): Manual: loading manual entries written by users
Anna Maria Bigatti

27 Jul 2018

12:10 CoCoA-5 Bug #1200 (Closed): Package exported function: wrong package name
Very strange.
The code in Interpreter.C look reasonable, but this message is wrong:...
Redmine Admin

26 Jul 2018

14:05 CoCoA-5 Feature #1122: New fn: RandomLinearForm
It may be more fast-and-robust to use geobuckets... is it worth doing so?
[I have added a comment to the source code...
John Abbott
13:59 CoCoA-5 Bug #1191 (Closed): ApproxSolve: log(0) on some examples
Closing John Abbott
13:54 CoCoA-5 Feature #1007 (Feedback): (makefile) New "clean" target which does not clean documentation
Our makefile targets do not yet follow the GNU conventions, but they seem to work well enough at the moment.
Close...
John Abbott
11:47 CoCoA-5 Support #1188 (Feedback): Product of empty list: manual and code disagree
We have decided for safety that sum/product of an empty list should give error (unless an initial value is given).
...
John Abbott

25 Jul 2018

17:14 CoCoA-5 Design #1075: LaTeX package: power-product printing
The use of @"\!\:"@ is not ideal since @"\:"@ is elastic. Maybe it is a reasonable compromise?
Anna points out that...
John Abbott
 

Also available in: Atom