Activity
From 11 Mar 2019 to 09 Apr 2019
09 Apr 2019
-
17:48 Feature #1267: Ideal equality
- I'm very uneasy in doing an automatic choice: the "trick" might work out as a slow overhead in a long loop with many ...
-
10:50 Support #1134: Organize better the documentation for CoCoALib
- I am postponing this issue. Even though I think it is important, it is likely to need a lot of time; anyway, the doc...
05 Apr 2019
-
- This really the same as #743.
-
- It would be nice to have a quiet moment to get this matter properly sorted out.
We really should try to deal with ... -
- I have modified the subject and description to refer to C++14 instead of C++11.
There is a summary of the integral... -
- We should check whether this still makes sense with C++14. I should also check on my little 32-bit machine...
-
- The idea is simple: compute the det modulo various primes, and if any is non-zero then we know the non-modular det is...
-
- A similar trick could be used for ideal membership: if @x@ is not in @I+J@ then it is certainly not in @I@.
04 Apr 2019
-
- It seems that there is already an impl in @SparsePolyOps-RingElem@.
There is no doc, no test. Also not exported t... -
- Long sent me one example which wanted to test if a large ideal (in a ring with 36 indets) contained 1. He actually d...
-
- A colleague here in Passau was disappointed that @intersection(ideal(1), J)@ was taking a long time, even though the ...
-
- Generators which are monomials are also a special case.
Then one could imagine a more complicated "mixed" situatio...
29 Mar 2019
-
- It is implemented in @ideals.C@ like this:...
28 Mar 2019
-
- Long in Passau lamented that sometimes testing two ideals for equality was too slow.
It might help to perform a fe... -
- Idea: every polyring @QQ[x,y,z]@ should also contain a single copy of @ZZ[x,y,z]@.
This single copy can then be us... -
- Having seen in the code that computing a GBasis over @QQ@ implies creating a new ring (with coeffs in @ZZ@), encourag...
-
- @.command@ is for MacOS:
<quote>
(...) .sh files are "owned" by Xcode by default, so if you were to double-click on...
27 Mar 2019
-
- John Abbott wrote:
> Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a po... -
- Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a polyring over a fraction...
-
- ...
-
- These files exist but are not present in @index-alpha.html@....
-
- There are some "unregistered" *@.txt@* files in the CoCoALib documentation.
Rectify!
-
- I have noticed that some shell scripts in the source tree have suffix *@.sh@* while others have suffix *@.command@*. ...
26 Mar 2019
-
- After unpacking the TGZ file on a Linux box, I found lots of files with names starting with dot-underscore. While th...
-
- I have just downloaded 0.99601 (TGZ format) and have noted that there are lots of small file which should not really ...
-
- The files I have are:...
-
- I have done some cleaning and have noticed some files called @test-*.C@ in the test directory which are not listed in...
-
- Here is a simple script which does most of the work. I tested it by setting "funny" permissions on all files and dir...
25 Mar 2019
-
- I have now removed @ThreadsafeCounter@ from my own personal copy.
Everything compiles and all tests pass. :-)
Once... -
- A quick grep shows that @ThreadsafeCounter@ is used in just two places:
* @ring.C@ (for the ring ID)
* @symbol.C@ ... -
- C++14 *@atomic@* machine integers should render @ThreadsafeCounter@ superfluous.
Check, and either clean up the co... -
- Summary:
* update effected
* *NOT C++03 COMPATIBLE* (not worth it)
-
- Now that we are passing to C++14, we can reactivate this task.
The first step is to make sure that our current int... -
- I'm fed up with having to correct the file permissions by hand.
The proper solution is to correct what is recorded... -
- I have noticed repeatedly that after doing CVS, the permissions on my files have become corrupted. This is *bad* whe...
20 Mar 2019
19 Mar 2019
-
-
- I have now updated the .C files too. Everything compiles and runs.
It is possible that I have missed some 0 (that w...
18 Mar 2019
-
- I have done the header files. There may still be one or zeroes which escaped me (but I hope not). Next are the .C f...
-
- From C++11 there is the constant *@nullptr@* for the null pointer.
Update our (C++) code to use it!
-
- Current state:
* *@NumTheory.C@*
* *@NumTheory-ContFrac.C@*
* *@NumTheory-CoprimeFactorBasis.C@*
* *@NumTheory-pr... -
- I prefer to defer this question until later, until when we have decided what exactly @exgcd@ should do (and whether i...
15 Mar 2019
-
- Anna uses @clang@ on MacOS, while I use @g++@ on Linux.
We get different outputs for @test-output@: its seems that t... -
- In @test-output@ Anna and I get different outputs (due to different RingIDs) because we use different platforms.
I... -
- I have changed the @configure@ script so that it prints out a clearer summary.
I have changed the @Makefile@ so that...
14 Mar 2019
-
- Here is an effect of the idea of testing the remaining factor for primality....
11 Mar 2019
-
- Done and partly tested.
-
- Here are some more minor points (after speaking to Anna on the phone):
* Anna was concerned about potential cost if ... -
- [by John Abbott: moved here from #1249]
-----------------------------
Also if the gens happen to have coprime LTs w... -
- If an ideal has a single (non-zero) generator then that generator is automatically a Gbasis.
CoCoALib does not curre... -
- The distribution had a precompiled @PREPROCESSOR_DEFNS.H@ and @autoconf.mk@ disabling @CoCoA_THREADSAFE_HACK@.
A par... -
- John Abbott wrote:
> JAA has checked in latest changes. Hope they work for Anna!
whateve that was, it compiles a...
Also available in: Atom