Activity
From 29 Jan 2020 to 27 Feb 2020
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.
-
- essentially done
now testing
-
- Bring LawrenceMat into CoCoALib.
Currenly hidden in @toric.cpkg5@ -
- What is the status of this issue? Surely more than 30% complete?
-
- Name: *@CoeffVecWRTBasis@* (or @CoeffListWRTBasis@ in CoCoA-5)
I have a first (KISS) impl: it takes 2 RingElem, a... -
- 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
-
- It seems to rebuild dependencies only in @src/tests/@.
Too tired to investigate now :-(
-
- It seemsthat the main @Makefile@ does not rebuild dependencies after a @make veryclean@.
Investigate & fix.
-
- *IMPORTANT* When the task is almost finished, we must review the impl of *@SparsePolyRingBase::IdealImpl::myGBasis@*.
25 Feb 2020
-
- Urgent: DegLex (should be easy)
-
- Some notes:
* if the ideal is zero then the GBasis is empty (but correct)
* if our impl assumes that non-empty gbas... -
- As often happens, storing twice an information may lead to problems.
We have the fields @IhaveGBasisValue@ and @myGB... -
- 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...
-
- The following is annoying:...
21 Feb 2020
-
- 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
-
- I have done the following files:...
17 Feb 2020
-
- I have changed some @for@ loops to use the new syntax.
It is slightly worrying that one can change the code so easil... -
- A challenge for Anna: can you write @DynamicBitSet::IamAll1s@ using the new "range-based" for loop syntax?
-
- 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
-
- I have now added the related issue (#990) for the targz file for the binary release.
I suppose we should do a fina... -
- There is a similar line in @myTestIsPrimary_0dim@ (around line 252).
Make the same change there???
-
- -A fairly simple approach would be to put the SHA checksum in the release notes- (perhaps near the start?) *<--- BAD...
14 Feb 2020
-
- This is related but not quite the same as #1378.
The point is this: if we let more time to compute the partial GBase... -
- We have seen how changing the timeout for GBasis can affect the time dramatically.
Should we make a function @Radica... -
- Now the problem is: which time limit to give to GBasis computations?
Currently there is "variable bound" + "fixed ... -
- Made it more robust with empty list.
-
- The name is now *@IndetsIn@* the same name for the analogous fn for @RingElem@.
-
- Anna tried her script for making a source code TGZ file. We found just 3 spurious files: these have been removed.
I... -
- Appears to work now. Closing.
-
- I have moved the example into a new file *@ex-c++-vector2.C@* which illustrates how to "translate" the CoCoA-5 functi...
-
- and this doesn't....
-
- The following works:...
-
- Juan Migliore found this weird bug:...
13 Feb 2020
-
- This has already been done, apparently.
There is a fn called *@indets@* which returns a @vector<long>@ being a list ... -
- I looked for @iterator@ and changed in a few more files. (can't remember which)
Not so many left to do. -
- Implemented *@IndetsProd@* -- advantage is that it gives same interface in CoCoALib as in CoCoA-5. *@IndetsIn@* is a...
-
- After discussing with Anna, she wants the result to be a polynomial (which is a 1-monomial) whose value is the produc...
-
- Anna confirms that she has @shasum@ on her computer.
The main question remaining is how to use the SHA sum in a se... -
- It would be helpful to have a short "manual" for redmine which explains how to do some operations (_e.g._ create a ne...
-
- Anna finds current @--help@ doc acceptable. Closing.
*NOTE* the help will almost certainly change when #1360 is i... -
-
- The code calls @IsNonNegGrading@ (see @MatrixForOrdering.C@ around lines 959 and 973).
I presume @IsNonNegGrading@ ... -
- Yet to be fixed: non homogeneous input.
(postponed again)
12 Feb 2020
-
-
-
- I checked. The class declaration is in @SparsePolyIter.H@.
There are only to functions defined in @SparsePolyOps-Ri... -
- Removed all calls to clog. Replaced with VERBOSE.
-
- The name was changed about 4 years ago (late 2015 or early 2016).
The name @MakeTermOrdMat@ is more sensible; we w... -
- This info is useful for people who want to download the source and compile; it is not necessary for the imminent rele...
-
- When should we run the script?
It would be nice if it could be run automatically (and "often"), but it cannot really... -
-
- I prefer to create a new ideal, and not to change the existing one.
Note that an exception-safe impl almost certai... -
- At some point I put in the @trap@ command. It seems to have worked OK for the last month or so.
Closing.
-
- I have merged @test-bug5@ into @test-bug2@ and @test-bug4@ into @test-bug3@.
*SPEED CHECK* compilation of all tes... -
- After so much time I think "Why bother?". Mathematically it is nice and clean, practically it is next to pointless, ...
-
- I have added a test to @test-matrix2.C@.
-
- Now documented. CoCoALib and CoCoA-5.
Do we really need a test?
-
- I have rearranged the root @Makefile@: there is a new phony target @before-compiling@ which builds @include/CoCoA/lib...
-
- Here is a *bad idea*: in the root @Makefile@ I simply removed the dependency of @check@ on @library@. This _does not...
-
- I have a personal test implementation called @ex-RingElemVector.C@
-
- Should we implement a class for list/vector of RingElem, all guaranteed to be in hte same ring? (a bit like PPVector)...
-
- Discussed in person, and agreed to *reject* it.
-
- checked-in.
-
-
- Fixed all functions @myTest...@ so that they return void.
Now the compiler should help if something is not done prop...
11 Feb 2020
-
- The warning seems to be harmless: it worked on my Linux box, and it works on Anna's Mac despite the warnings.
We d... -
- worked on TmpGReductor: much more readable!!!
-
- Annd and I spent quite a long time getting the latest versions of CDD and GFAN to compile, and work with CoCoALib.
A... -
- Anna has changed all prints in @TmpGReductors@ to use the stream produced by @VerboseLog@.
Compiles & all tests pa... -
- I have decided also to put "short-cuts" for bad ostreams inside the mem fns which produce output.
This is not really... -
- After discussing with Anna, I have removed the obsolete option *@--mode@*.
-
- The help for @configure@ says there is a *@--mode@* option, but looking at the code in the @configure@ script, it see...
-
-
- Improved doc with Anna's help. Closing.
07 Feb 2020
-
- Here is another example (with *@DegRevLex@*). The "Final clean up" consumes 99% of the time!...
05 Feb 2020
-
- I like the suggestion to change the fn to *@void@*. Still we should discuss it when I'm there.
Also we should look ...
04 Feb 2020
-
- Florian has reported a problem with our being "naughty" about making a new release without changing the version numbe...
-
- The corrected code should be in 0.99700.
We should discuss the design when I'm in Genoa. Maybe we can finish this f...
03 Feb 2020
-
- This was a duplicate of #1409; server problems in Genoa meant I didn't know/notice that Anna had already resolved thi...
-
- I think it is OK now.
The problem was in @SparsePolyOps-ideal-ZeroDim.C@ around line 295. The result was computed... -
- The @IsPrimary@ sometimes gives a wrong result.
Here is an instance:... -
- I fixed this as well. Anyway, we can merge when I'm in Italy (hopefully).
I agree that the use of @myAssignPrimar... -
- I added the test to @exbugs.cocoa5@
-
- This was the error, found by Ashkan Nikseresht (nice feedback! thanks!)...
-
- I spent a few hours fixing a bug in...
31 Jan 2020
-
- I suppose the GPG signatures give a better guarantee of correctness.
Probably we should try both ways, and see how...
29 Jan 2020
-
- *2020-01-28* I have written to Anders. He is willing to put a @GFANLIB_VERSION@ CPP macro in future versions (starti...
-
- I have just stumbled across "GPG" signatures for software. There is a description at @https://www.gnupg.org/gph/en/m...
Also available in: Atom