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++.
-
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...
-
18:21 CoCoALib Feature #1212: New function: GBasisByHomog
- Implemented for the case ordering is StdDegRevLex (@SparsePolyOps-ideal.C@).
This is enough for PrimaryDecomposition... -
16:41 CoCoALib Feature #1212 (Closed): New function: GBasisByHomog
- Implement GBasis computation via homogenization
-
16:19 CoCoALib Feature #966 (In Progress): New function or explain: first and last for a vector?
03 Aug 2018
-
18:11 CoCoALib Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
-
18:09 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators
-
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... -
17:41 CoCoALib Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim
-
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.
-
17:37 CoCoALib Slug #1165 (Closed): MinPoly over QQ: verification may be very slow
-
17:31 CoCoALib Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring
-
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, ... -
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...
-
17:20 CoCoALib Bug #1211 (Closed): HilbertSeries should check grading
- ...
-
17:16 CoCoALib Slug #1009 (Closed): coefficients for MinPoly e Frobenius
-
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... -
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*
-
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 ...
-
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... -
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*
-
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... -
16:18 CoCoALib Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files
-
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... -
16:15 CoCoALib Design #410 (Closed): New file: BigRatOps
-
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... -
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@*
... -
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...
-
16:01 CoCoALib Design #1162 (Closed): Check semantics of NoSmallFactorSeq
-
15:56 CoCoALib Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers)
-
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.
-
14:32 CoCoALib Support #1099 (Closed): MinPolyQuot: missing doc
-
14:31 CoCoALib Bug #1199 (Closed): GCD bug with high degree arg
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... -
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... -
17:29 CoCoALib Feature #1167 (Closed): New class VerificationLevel
- Made and used for MinPoly.
(and documented, by John Abbott) -
17:27 CoCoALib Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals
-
17:26 CoCoALib Design #1179: Clean up SparsePolyOps-MonomialIdeals
- Some work has been done (in parallel with ZeroDimIdeals).
More thorough checks needed.
Postponing.
-
17:04 CoCoALib Design #1163 (Closed): Split SparsePolyRing.C in smaller files
- Effectively solved. Mostly with @SparsePolyOps-xxx@ files (issue #1177)
-
16:59 CoCoALib Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)
- *RandomLinearForm(P, RndSeq)* has been moved to its own new issue.
-
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... -
16:43 CoCoALib Feature #958: New function: multiplicity and dim
- Yet to be fixed: non homogeneous input.
(postponed) -
16:42 CoCoALib Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
-
16:20 CoCoALib Feature #1126 (Closed): New function: SubmoduleOfMinGens
- Done // Revision 1.30 2017/11/20 20:10:26 bigatti
-
16:12 CoCoALib Feature #1126 (In Progress): New function: SubmoduleOfMinGens
- @SubmoduleOfMinGens@ is implemented (in place of minimalized)
-
16:19 CoCoALib Feature #1207 (New): New function: SubmoduleOfGBasis
- as @IdealOfGBasis@
-
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 ... -
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... -
15:09 CoCoALib Bug #1205 (Feedback): SyzOfGens: bug with zero generators
- ...
-
14:54 CoCoALib Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?
- It makes to be able to compute...
-
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...
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@.
-
08:19 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators
- ...
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 ... -
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@*.
-
14:26 CoCoALib Feature #900 (Feedback): New function: MinPoly of RingElem in quotient ring
-
14:25 CoCoALib Slug #1181 (Closed): CpuTime is costly!
-
14:21 CoCoALib Slug #1009: coefficients for MinPoly e Frobenius
- done.
@coefficients@ in anonymous namespace in @SparsePolyOps-MinPoly.C@ -
14:21 CoCoALib Slug #1165 (Feedback): MinPoly over QQ: verification may be very slow
-
14:20 CoCoALib Support #1099 (Feedback): MinPolyQuot: missing doc
-
13:15 CoCoALib Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)
-
13:13 CoCoA-5 Bug #1157 (Closed): FactorAlgExt
-
13:13 CoCoALib Feature #1203 (Closed): factor over algebraic extensions
-
13:12 CoCoALib Feature #1203 (Closed): factor over algebraic extensions
- port factor (for algebraic extensions) to cocoalib (SC2 work)
-
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... -
12:03 CoCoA-5 Slug #1114: Some other examples for 0-dim radical
- Checked. They are all reasonably fast using timeout.
Closed. -
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...
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@???
-
16:15 CoCoALib Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- I think it should be in @SparsePolyIter@
-
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.
-
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 ...
-
14:36 CoCoA-5 Feature #1202 (Closed): New package: arrangements
- Functions for arrangements (for School in Sapporo Aug 2018)
-
14:36 CoCoA-5 Feature #1201 (Closed): New package: poset
- Functions for posets (for School in Sapporo Aug 2018)
-
14:33 CoCoA-5 Support #1188 (Closed): Product of empty list: manual and code disagree
- Have not really tested, but what can go wrong???
-
14:28 CoCoA-5 Feature #978 (Closed): CommonDenom: for polys and lists?
-
14:23 CoCoA-5 Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0
-
14:22 CoCoA-5 Feature #1122 (Closed): New fn: RandomLinearForm
- Closing
-
14:20 CoCoA-5 Slug #1114: Some other examples for 0-dim radical
- Probably better now: we are using timeout.
Run and compare.
-
14:17 CoCoA-5 Bug #1189 (Closed): HilbertBasisKer: unhelpful error with some inputs
- Closing
-
14:15 CoCoA-5 Bug #1190 (Closed): HilbertBasisKer: SEGV (again)
- CLosing
-
14:10 CoCoA-5 Design #1164 (Feedback): Manual: loading manual entries written by users
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:...
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... -
13:59 CoCoA-5 Bug #1191 (Closed): ApproxSolve: log(0) on some examples
- Closing
-
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... -
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).
...
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...
Also available in: Atom