Activity

From 18 May 2018 to 16 Jun 2018

21:04 Design #832: Generalize grading matrix: I have just started working on an implementation of isomorphic-to-subring. For example, given @QQ[x,y,z]@ it should ... John Abbott
17:28 Bug #935 (Feedback): ElimMat, ElimHomogMat: complain about zero or negative weights: Anna says that @ElimMat@ should allow a grading mat with 0 rows, but @ElimHomogMat@ should not.
I have adjusted the ... John Abbott
16:16 Bug #935 (In Progress): ElimMat, ElimHomogMat: complain about zero or negative weights: What is the status of this issue?
What do we allow as "grading matrices"?
Current code requires entries to be int... John Abbott
16:48 Design #1159: Add global enum "verify/DontVerify": Close this issue and refer to #1167?
John Abbott
16:29 Slug #1181 (Feedback): CpuTime is costly!: Changing to *feedback* even though there is scope for improvement.
It seems to be difficult to do this properly in... John Abbott
15:53 Feature #202: MatrixView/function for viewing a single row or column (RowMat, ColMat): I have just checked the code: it is in @MatrixView@ (as one would expect).
I am not so happy about the names *@Row... John Abbott

18:35 Feature #1155 (Feedback): Create a new "prime source" iterator: Time to move to feedback.
Only remaining doubt: the function @NextPrime@ needs to be reconsidered (what happens wh... John Abbott
18:32 Feature #1131 (Feedback): Sturm sequence: Works OK in ad hoc testing -- fixed a couple of bugs.
John Abbott
18:25 Feature #1176 (In Progress): interval arithmetic: A first prototype is in *@BigRatInterval@*
I have even written some doc!
John Abbott
18:22 Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2: I have renamed the doc files too. John Abbott
18:20 Design #410: New file: BigRatOps: I have split the sources (or did Anna do it?). Updated the doc, and all other files.
John Abbott
18:18 Design #1180 (Closed): BigRat(0) unexpectedly compiles! (calls ctor with mpq_t arg): I have sorted out the doc.
John Abbott
16:50 Bug #1130 (In Progress): SqFreeFactor: should it work over ZZ?: One potential problem is that strictly speaking the content must be factorized too, and it is costly to tell whether ... John Abbott
16:30 Design #764 (Resolved): ExternalLib: simplify configuration: Can we close this?
John Abbott
16:22 Design #1162 (Feedback): Check semantics of NoSmallFactorSeq: I have no ideas for improving this currently. So have moved to "feedback".
John Abbott
15:58 Bug #1185 (Feedback): factor: multivariate, wrong RemainingFactor (sign wrong): I have tested my change -- seems fine.
Checked in.
John Abbott

22:28 Bug #1185 (Resolved): factor: multivariate, wrong RemainingFactor (sign wrong): I believe I have fixed the problem (without really finding what was the original bug).
I have changed the (ancient) ... John Abbott

10:57 Bug #1185: factor: multivariate, wrong RemainingFactor (sign wrong): I have a workaround for the problem: in the file @factor.C@ I ensure that all factors have positive leading coeff, an... John Abbott

23:49 Bug #1185 (In Progress): factor: multivariate, wrong RemainingFactor (sign wrong): More failing examples:... John Abbott

18:31 Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong): Gereon Kreme reports the following bug (JAA has confirmed)... John Abbott

18:00 Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?: John Abbott wrote:
> I have split @BigRat@ into @BigRat@ (class defn, ctors, and accessors) and @BigRatOps@.
> All ... Anna Maria Bigatti
16:35 Support #847 (Feedback): Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?: I have split @BigRat@ into @BigRat@ (class defn, ctors, and accessors) and @BigRatOps@.
All files have been updated;... John Abbott

19:02 Design #1177 (In Progress): File names: use "SparsePolyOps" prefix for pertinent files: (split SparsePolyOps-RingElem)
SparsePolyOps-EvalInterval.C*
SparsePolyOps-IdealOfPoints.C*
SparsePolyOps-IdealZ... Anna Maria Bigatti
18:33 Slug #1181: CpuTime is costly!: Here is a brief comment about the design: I shall suppose that the class is called @CpuTimeLimit@
*(1)* simple us... John Abbott
17:52 Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?: Anna Maria Bigatti
17:12 Design #1145: File names, coding conventions: Fns, Ops, Operations? part 2: renamed @IntOperations@ into @BigIntOps@ Anna Maria Bigatti
17:10 Support #847: Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?: Renamed @IntOperations@ into @BigIntOps@
(this should have been in #1145) Anna Maria Bigatti

Also available in: Atom

CoCoA » CoCoALib