Activity
From 29 Aug 2020 to 27 Sep 2020
25 Sep 2020
- 17:44 Feature #1490 (In Progress): New function: MinusOneToPower
- It would be tricky to call the function @power@ because I want the return type to be @long@ (or even @int@) rather th...
- 16:21 Feature #1490: New function: MinusOneToPower
- John Abbott wrote:
> There is a very simple inline impl:
> [...]
>
> If we do accept this fn, in which (header) ... - 13:37 Feature #1490: New function: MinusOneToPower
- There is a very simple inline impl:...
- 13:35 Feature #1490 (Rejected): New function: MinusOneToPower
- I have just seen in the code for matrix adjoint *@power(-1, i+j)@*.
It would be nice to have a simpler function for ... - 17:06 Feature #1436: Flatten for a matrix
- it is only used in *RingElem MinPoly(ConstMatrixView M, ConstRefRingElem x)*.
- 11:13 Feature #1436: Flatten for a matrix
- Some notes:
* *(A)* there are already the functions @GetRows@ and @GetCols@ which return a @vector<vector<RingElem>>... - 16:58 Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog
- John Abbott wrote:
> *CHECKED ON 2020-09-25* the example in the description now works.
>
> Has this been fixed? ... - 11:18 Bug #1423 (In Progress): Radical 0-dim NYI? missing case for GBasisByHomog
- *CHECKED ON 2020-09-25* the example in the description now works.
Has this been fixed? By whom? Can we close th... - 16:16 Feature #1472: Idea for for loops
- just wondering: (I know it's low priority) is this any better than the standard syntax?
- 11:04 Feature #1472 (In Progress): Idea for for loops
- Anna's suggestion of *@range(1,n)@* _etc._ seems simple, clear, flexible.
The intention is that both values are incl... - 15:16 Support #1263 (Resolved): Tidy CoCoALib test directory
- I have now merged all "exbugs" into a single file called *@test-exbugs.C@* (with corr expected output in @test-exbug...
- 14:58 Bug #1331: adj: for matrices 7x7 and bigger
- I have added a test to @test-bug1.C@
- 14:52 Bug #1331: adj: for matrices 7x7 and bigger
- Now I have split @DetDirect@ into two fns: one generic and one for sparsepolyrings (where I can use geobuckets)
- 14:35 Bug #1331 (Resolved): adj: for matrices 7x7 and bigger
- There were two problems:
* *(A)* the dispatch function @ConstMatrixViewBase::myDet@ in @matrix.C@ was rather crude
... - 14:05 Design #1491 (New): Unified Gaussian reduction impl
- It would be nice to make a single unified Gaussian reduction impl (if poss).
Anyway, currently there are too many im... - 14:02 Support #1196 (Resolved): Split MatrixOps
- This is now mostly done.
There are now 7 files: original, adj, arith, det, KroneckerProd, LinKerZZ, norms, rank, r... - 11:20 Feature #1405: New fn: interreduction
- Is this a duplicate of #1488?
- 10:51 Design #1463 (Resolved): SmoothFactor: use FactorMultiplicity
- I have made a reasonable impl more or less following *(B)*.
There is a new non-exported fn which computes multiplici...
16 Sep 2020
- 16:23 Feature #1488: BuiltIn Interreduce-Function
- Might it be useful to sort elements inside the interreduction loop according to a more "sophisticated" ordering: _e.g...
- 15:41 Feature #1488: BuiltIn Interreduce-Function
- I have now put my version of the impl in a new file *@SparsePolyOps-interreduce.C@* with corresponding header file.
... - 14:45 Feature #1488 (In Progress): BuiltIn Interreduce-Function
- Here is my revised version of the source code. It could surely be made faster, but this version is relatively simple...
15 Sep 2020
- 14:06 Feature #1488 (Closed): BuiltIn Interreduce-Function
- The function @interreduce@ is implemented in CoCoA-5, and the implementation (@NotBuiltin.cpkg5@) can be translated i...
14 Sep 2020
- 18:11 Feature #1485 (New): Simple syntax for making a quotient ring?
- The syntax *@R/I@* would be convenient and easy to read.
At the moment I do not see how it could be "dangerous" un... - 17:56 Feature #1485 (Resolved): Simple syntax for making a quotient ring?
- 17:47 Feature #1485 (New): Simple syntax for making a quotient ring?
- Should we allow the syntax *@R/I@* to mean the same as *@NewQuotientRing(R,I)@*?
Discuss, and maybe implement.
- 18:08 Bug #1484 (Resolved): ker bug (quotientinghom for R/ideal())
- There are two more suspect creations of ideals: line 325 and 347.
I have changed these too, but am less sure that wh... - 18:07 Bug #1484: ker bug (quotientinghom for R/ideal())
- I have blindly changed the code in @HomomorphismOps.C@.
The problem was in @MakeRichHom@ (and presumably an analogo... - 17:38 Bug #1484 (Closed): ker bug (quotientinghom for R/ideal())
- Bernhard Andraschko reports the following bug:...
- 13:10 Feature #1483 (Feedback): IsPowerOf2 for rationals
- Added new function *@IsPowrerOf2@* for @BigRat@. Gives @false@ if arg is not strictly positive.
Impl is simple rath... - 13:08 Feature #1483 (Closed): IsPowerOf2 for rationals
- Add new function *@IsPowerOf2@* for @BigRat@.
It already exists for @BigInt@.
31 Aug 2020
- 14:56 Feature #1482: Extended rationals: PlusInfinity and MinusInfinity
- Maybe the simple approach is to create two new types: *@PlusInfinityType@* and *@MinusInfinityType@*. Then it should...
- 14:48 Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity
- The doc for GMP states fairly clearly that the rationals @1/0@ and @-1/0@ can be created, but that they may not be pa...
- 14:02 Feature #1482: Extended rationals: PlusInfinity and MinusInfinity
- Some notes:
* what type should these values have? *@BigRat@*? Or Maybe *@ExtendedBigRat@*?
* We'd probably need f... - 13:56 Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity
- Might we be interested in having representations of *@PlusInfinity@* and *@MinusInfinty@*?
This could be useful fo... - 14:34 Feature #1176: interval arithmetic
- There is a GNU package called MPRIA (multiple precision rational interval arithmetic). It is GPL v3.
It seems not t...
Also available in: Atom