Activity
From 08 Feb 2020 to 08 Mar 2020
07 Mar 2020
- 08:51 Feature #1212: New function: GBasisByHomog
- Notes for me. In general: M matrix ordering.
If first row of M all positive
m m m 1
M 0
otherwise
1 1 1...
06 Mar 2020
- 17:41 Feature #1434 (Closed): GBasisByHomog for DegLex
- Done.
I had some problems in finding the correct functions to make the matrix.
I'll write some notes about making t... - 16:35 Feature #1427: New function: LawrenceMat
- John Abbott wrote:
> Any objections to changing the return type to @ConstMatrixView@?
> It seems more "natural/effi... - 16:07 Feature #1427 (Closed): New function: LawrenceMat
- 15:48 Feature #1427: New function: LawrenceMat
- Any objections to changing the return type to @ConstMatrixView@?
It seems more "natural/efficient" to me than necess... - 15:43 Feature #1427: New function: LawrenceMat
- What is the definition of _Lawrence lifting_?
I found a paper on ArXiV: @arxiv.org/pdf/1508.05461.pdf@ which gives... - 16:19 Feature #1395: SHA checksum for released code
- If we want to do this, we should delay the release a few days, so we can find out what to do.
- 15:39 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- I think there is good reason to make the other version of this function available, incl. the one Anna proposed, namel...
04 Mar 2020
- 21:02 Feature #1437 (New): Filling matrix row/col from a vector
- I noticed in @SparsePolyOps-MinPoly.C@ that there is a function, @CoefficientsInMatCol@, which is very similar to @co...
- 20:59 Feature #1436 (Closed): Flatten for a matrix
- I happened to see in @SparsePolyOps-MinPoly.C@ that there is a function for "flattening" a matrix.
Do we want to m... - 19:36 Feature #1434 (Closed): GBasisByHomog for DegLex
- This should be easy to fix, hopefully...
- 18:20 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- OK, I have chosen *@CoeffVecWRTSupport@*. Changes already made (but not yet checked in).
*NOTE* I prefer not @Co... - 17:15 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)
- John Abbott wrote:
> Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I suggest calling it *@Coeff... - 14:20 Bug #1426 (Closed): Main Makefile: does not rebuild dependencies
- 14:19 Bug #1416 (Closed): IdealOfProjectivePoints and MinGens
- IdealOfProjectivePoints computes GB but cannot determin MinGens.
Neccessary to recompute GBasis with Buchbeger algor... - 14:17 Feature #1433 (New): HilbertDriven Buchberger Algorithm
- just to remember.
03 Mar 2020
- 21:51 Bug #1416: IdealOfProjectivePoints and MinGens
- There are also some other functions which create a GB without having to calculate it, right?
@IdealOfPoints@, ...
- 21:26 Bug #1426 (Feedback): Main Makefile: does not rebuild dependencies
- Found it, and fixed it.
I had accidentally introduced a race condition. Now it should be fine.
I'll do a little ...
28 Feb 2020
- 10:09 Feature #206: Matrix equation solving: LinKer
- I have implemented *@LinKerZZ@* simply by copying the old code from @TmpFactorDir/linalg/Zkernel.c@
The new code pro... - 10:06 Feature #1306: exgcd over integers (ZZ)
- Currently it returns just the cofacs. I had hoped to avoid an include directive in the header file... not so easy.
... - 09:47 Design #1428 (New): DenseMatrix: use template impl for ctors from vec-vec?
- There are 4+4 very similar impls for creating a @DenseMatrix@ from a @vector<vector<STHG>>@.
Consider using a templa...
27 Feb 2020
- 21:05 Feature #1306 (In Progress): exgcd over integers (ZZ)
- I have a first (untested) prototype. Maybe I'll test it tomorrow... too late now.
- 18:37 Feature #1427 (Feedback): New function: LawrenceMat
- Done. Tested, Documented. Checking in.
- 17:30 Feature #1427: New function: LawrenceMat
- essentially done
now testing
- 16:25 Feature #1427 (Closed): New function: LawrenceMat
- Bring LawrenceMat into CoCoALib.
Currenly hidden in @toric.cpkg5@ - 18:04 Feature #206: Matrix equation solving: LinKer
- What is the status of this issue? Surely more than 30% complete?
- 14:55 Feature #1210 (Resolved): New Fn: make public "coefficients" (of poly wrt a given PP basis)
- Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I have a first (KISS) impl: it takes 2 RingElem, a... - 11:50 Feature #1197 (In Progress): IsZeroDet: new fn
- I have just made a very simplistic first impl: it simply computes the det, and checks whether it is zero. (also chec...
26 Feb 2020
- 22:47 Bug #1426: Main Makefile: does not rebuild dependencies
- It seems to rebuild dependencies only in @src/tests/@.
Too tired to investigate now :-(
- 22:46 Bug #1426 (Closed): Main Makefile: does not rebuild dependencies
- It seemsthat the main @Makefile@ does not rebuild dependencies after a @make veryclean@.
Investigate & fix.
- 11:30 Design #1422 (In Progress): Remove flag IhaveGBasisValue?
- *IMPORTANT* When the task is almost finished, we must review the impl of *@SparsePolyRingBase::IdealImpl::myGBasis@*.
25 Feb 2020
- 18:28 Feature #1212: New function: GBasisByHomog
- Urgent: DegLex (should be easy)
- 17:50 Design #1422: Remove flag IhaveGBasisValue?
- Some notes:
* if the ideal is zero then the GBasis is empty (but correct)
* if our impl assumes that non-empty gbas... - 16:15 Design #1422 (In Progress): Remove flag IhaveGBasisValue?
- As often happens, storing twice an information may lead to problems.
We have the fields @IhaveGBasisValue@ and @myGB... - 17:20 Bug #1423: Radical 0-dim NYI? missing case for GBasisByHomog
- I am pretty sure that this is not new, but i could not quickly find the relevant issue... so I have a new issue (2020...
- 17:19 Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog
- The following is annoying:...
21 Feb 2020
- 20:23 Slug #1375: Radical 0-dim: varied timings
- Here are some test cases I found using a random search (ensuring the gens were x^6+lower, y^6+lower, z^6+lower):
<pr...
18 Feb 2020
- 12:35 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I have done the following files:...
17 Feb 2020
- 18:15 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I have changed some @for@ loops to use the new syntax.
It is slightly worrying that one can change the code so easil... - 16:14 Feature #1419 (New): DynamicBitset::IamAll1s
- A challenge for Anna: can you write @DynamicBitSet::IamAll1s@ using the new "range-based" for loop syntax?
- 12:29 Feature #1395: SHA checksum for released code
- My idea in comment 8 is not so clever... well, the SHA cannot be inside the TGZ file.
Just put it on the website in ...
15 Feb 2020
- 23:44 Bug #1264 (Feedback): Remove unnecessary files before making CoCoALib release TGZ files
- I have now added the related issue (#990) for the targz file for the binary release.
I suppose we should do a fina... - 15:13 Slug #1375: Radical 0-dim: varied timings
- There is a similar line in @myTestIsPrimary_0dim@ (around line 252).
Make the same change there???
- 10:42 Feature #1395: SHA checksum for released code
- -A fairly simple approach would be to put the SHA checksum in the release notes- (perhaps near the start?) *<--- BAD...
14 Feb 2020
- 16:10 Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout
- This is related but not quite the same as #1378.
The point is this: if we let more time to compute the partial GBase... - 16:05 Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout
- We have seen how changing the timeout for GBasis can affect the time dramatically.
Should we make a function @Radica... - 15:38 Slug #1375: Radical 0-dim: varied timings
- Now the problem is: which time limit to give to GBasis computations?
Currently there is "variable bound" + "fixed ... - 14:01 Design #1391 (Resolved): RingElems: syntax with [ and ] ?
- Made it more robust with empty list.
- 13:26 Feature #91: Return type & name for "indets" of a PP
- The name is now *@IndetsIn@* the same name for the analogous fn for @RingElem@.
- 11:01 Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
- Anna tried her script for making a source code TGZ file. We found just 3 spurious files: these have been removed.
I... - 10:58 Design #1409 (Closed): myTestIsPrimary & Co. : fix design
- Appears to work now. Closing.
- 10:21 Feature #966 (Closed): New function or explain: first and last for a vector?
- I have moved the example into a new file *@ex-c++-vector2.C@* which illustrates how to "translate" the CoCoA-5 functi...
- 09:33 Bug #1416: IdealOfProjectivePoints and MinGens
- and this doesn't....
- 09:18 Bug #1416 (In Progress): IdealOfProjectivePoints and MinGens
- The following works:...
- 09:00 Bug #1416 (Closed): IdealOfProjectivePoints and MinGens
- Juan Migliore found this weird bug:...
13 Feb 2020
- 17:46 Feature #91 (Closed): Return type & name for "indets" of a PP
- This has already been done, apparently.
There is a fn called *@indets@* which returns a @vector<long>@ being a list ... - 16:21 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- I looked for @iterator@ and changed in a few more files. (can't remember which)
Not so many left to do. - 15:09 Feature #658 (Closed): Indets actually in a poly (or vector or matrix)
- Implemented *@IndetsProd@* -- advantage is that it gives same interface in CoCoALib as in CoCoA-5. *@IndetsIn@* is a...
- 14:24 Feature #658: Indets actually in a poly (or vector or matrix)
- After discussing with Anna, she wants the result to be a polynomial (which is a 1-monomial) whose value is the produc...
- 14:08 Feature #1395: SHA checksum for released code
- Anna confirms that she has @shasum@ on her computer.
The main question remaining is how to use the SHA sum in a se... - 11:12 Support #26: Redmine Administration
- It would be helpful to have a short "manual" for redmine which explains how to do some operations (_e.g._ create a ne...
- 11:06 Support #1353 (Closed): configure script help
- Anna finds current @--help@ doc acceptable. Closing.
*NOTE* the help will almost certainly change when #1360 is i... - 10:55 Support #1338 (In Progress): Release CoCoALib-0.99700
- 10:30 Bug #935 (Closed): ElimMat, ElimHomogMat: complain about zero or negative weights
- The code calls @IsNonNegGrading@ (see @MatrixForOrdering.C@ around lines 959 and 973).
I presume @IsNonNegGrading@ ... - 10:09 Feature #958: New function: multiplicity and dim
- Yet to be fixed: non homogeneous input.
(postponed again)
12 Feb 2020
- 18:17 Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- 16:39 Design #1184 (Feedback): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- 15:49 Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- I checked. The class declaration is in @SparsePolyIter.H@.
There are only to functions defined in @SparsePolyOps-Ri... - 18:14 Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog
- Removed all calls to clog. Replaced with VERBOSE.
- 16:35 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- The name was changed about 4 years ago (late 2015 or early 2016).
The name @MakeTermOrdMat@ is more sensible; we w... - 16:28 Support #613: Which ubuntu / debian packages are needed to compile CoCoA
- This info is useful for people who want to download the source and compile; it is not necessary for the imminent rele...
- 16:16 Bug #1260 (Closed): Fix file permissions after using CVS
- When should we run the script?
It would be nice if it could be run automatically (and "often"), but it cannot really... - 16:11 Support #1161 (Closed): Split NumTheory.C into several smaller files
- 16:11 Design #1326: Modify function myElim so that it returns ideal? (not quite)
- I prefer to create a new ideal, and not to change the existing one.
Note that an exception-safe impl almost certai... - 15:57 Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?
- At some point I put in the @trap@ command. It seems to have worked OK for the last month or so.
Closing.
- 15:49 Support #1263: Tidy CoCoALib test directory
- I have merged @test-bug5@ into @test-bug2@ and @test-bug4@ into @test-bug3@.
*SPEED CHECK* compilation of all tes... - 15:35 Design #849: Cleanup MinPoly code
- After so much time I think "Why bother?". Mathematically it is nice and clean, practically it is next to pointless, ...
- 15:26 Feature #1277 (Closed): Gaussian row reduction
- I have added a test to @test-matrix2.C@.
- 15:17 Feature #1277 (Feedback): Gaussian row reduction
- Now documented. CoCoALib and CoCoA-5.
Do we really need a test?
- 15:00 Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore
- I have rearranged the root @Makefile@: there is a new phony target @before-compiling@ which builds @include/CoCoA/lib...
- 14:46 Bug #2: Makefile problem in ROOT and/or src/AlgebraicCore
- Here is a *bad idea*: in the root @Makefile@ I simply removed the dependency of @check@ on @library@. This _does not...
- 14:51 Design #1414 (In Progress): Make class RingElemVector?
- I have a personal test implementation called @ex-RingElemVector.C@
- 14:49 Design #1414 (In Progress): Make class RingElemVector?
- Should we implement a class for list/vector of RingElem, all guaranteed to be in hte same ring? (a bit like PPVector)...
- 14:43 Feature #357 (Rejected): Constructor for vectors? CoCoAVector
- Discussed in person, and agreed to *reject* it.
- 09:35 Slug #1238 (Closed): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- checked-in.
- 09:07 Slug #1238 (Feedback): ReadExpr is too slow on long lists of monomial with many indets: ---> use RingElems instead
- 08:48 Design #1409: myTestIsPrimary & Co. : fix design
- Fixed all functions @myTest...@ so that they return void.
Now the compiler should help if something is not done prop...
11 Feb 2020
- 18:33 Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled
- The warning seems to be harmless: it worked on my Linux box, and it works on Anna's Mac despite the warnings.
We d... - 18:31 Design #1346: C++14: use the new for loop syntax where appropriate (like cocoa's foreach)
- worked on TmpGReductor: much more readable!!!
- 18:28 Bug #1308 (Closed): test-GFan1 fails
- Annd and I spent quite a long time getting the latest versions of CDD and GFAN to compile, and work with CoCoALib.
A... - 18:09 Bug #1362 (Feedback): GBasis verbose mode: some output is on cerr/clog
- Anna has changed all prints in @TmpGReductors@ to use the stream produced by @VerboseLog@.
Compiles & all tests pa... - 18:07 Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately
- I have decided also to put "short-cuts" for bad ostreams inside the mem fns which produce output.
This is not really... - 13:13 Design #1413 (Closed): configure script: MODE option obsolete?
- After discussing with Anna, I have removed the obsolete option *@--mode@*.
- 12:41 Design #1413 (Closed): configure script: MODE option obsolete?
- The help for @configure@ says there is a *@--mode@* option, but looking at the code in the @configure@ script, it see...
- 12:22 Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist
- 12:09 Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks
- Improved doc with Anna's help. Closing.
Also available in: Atom