Activity
From 16 Nov 2017 to 15 Dec 2017
15 Dec 2017
-
18:37 Feature #1142: NewZZmod: port to CoCoA-5
- John ported it to CoCoA-5.
I added it to the manual.
Found a bug: printing 0 coeff (this means it contains a summa... -
- NewZZmod allows big integers, and non-primes.
-
16:20 Support #1000 (Closed): CoCoAManual for "all cocoa commands"
-
-
-
- Until the installation process actually becomes used by some people, it will be hard to debug it.
I think the curren... -
-
-
- Make a faster impl for monomial ideals.
Here is a contrived example of a slug:... -
- Postponing to next version; it is better to deal with all fns, and then close (rather than close after having dealt w...
14 Dec 2017
-
- this is related with @implicit@: it should (by default) return the ideal in a ring with weights, so that the generato...
-
- The defn of *@IsPrecedingNoCheck@* looks suspicious to me (compared to the defn in the article).
But changing the de... -
- The critical prime appears to be 223.
If I start the calculation from p=223, it reports that all other primes are BA... -
- In the example below @ImplicitModular@ decides that it has found a "better prime", but after that all primes seem to ...
13 Dec 2017
-
- Done.
Documented -
- Presumably we've been using this code for a couple of years without any problems arising.
Indeed the solution is n... -
- added in the entry for "all cocoa command" the search keys for, foreach, if, then, ....
so, when looking for one of... -
- Fixed: all the problem was in ideal(1).
(there is a naughty trick in @ElimRedundant(E)@)
Now @radical(I)@ exits @I@...
12 Dec 2017
-
- another...
-
- Much like the example above:...
-
- Here is another case where things go wrong:...
-
- The problem seems to be when the ideal contains 1....
-
- There are still problems with radical: sometimes it gives an empty list instead of an ideal....
-
- It seems OK to me. Closing.
I have improved the manual entry slightly.
-
11 Dec 2017
-
-
- We didn't take notes. Maybe we wrote things directly in the issues... or in the code.
Closing this. -
-
- added example for radical(poly).
I'm not confident it always works for ideals in small characteristic.
I hope the... -
- John Abbott wrote:
> Is it possible to make links/references from normal manual pages to/from the page about CoCoA c... -
- I suggest closing this now.
A refined solution is much more difficult and probably not that necessary.
-
- The pages have changed a lot, and the comments here are vague.
There are more specific issues now, so I close this. -
- I keep installing cocoa for our students. The instructions are actually simple and complete.
Maybe we could add scr... -
- I keep installing cocoa for our students. The instructions are actually simple and complete.
Maybe we could add scre... -
- Adding a comment from John:
Some points to clarify on the website:
what to download and do for a completely... -
- more experiments, added logo in the google page.
-
-
-
- added tests
closing
-
- added test in exbugs.
-
-
-
-
- documentation done.
-
- revised printing of ideals: now uses \ideal{gens} instead of old (gens)
Add macro definition in manual.
*2017-1... -
- Made simpler in easy, common cases: when all the indets in the ring are single letters, then the indets in a power-pr...
-
-
- Should we use matrix instead of array?
04 Dec 2017
-
- Now the "cocoa operators: introduction" is shorter (I commented out the part on priority, I'm not 100% sure...)
I a... -
02 Dec 2017
-
- Some updates in the pages "dowload" (with link to google group) and "conferences" (with cocoa calendar)
01 Dec 2017
-
- I added the function @EmbedPolyListNo0@ in @TmpGReductor.C@.
It does the same as @EmbedPolyList@ but skipping zero p... -
- Some more cleaning. Now list is clean and ready.
I have to find out how to invite others and to advertise the subsc... -
- Mostly cleared: now it exports @SubalgebraHom@, and @SubalgebraRepr@ is obsolescent.
Exhaustive documentation shows... -
-
- Indeed, we could just export @SubalgebraHom@ (pretty trivial function), and give some examples.
I'm a bit comfused t... -
- Found it.
In some point the GBasis is added to the gens list. Later the gens list is expected interreduced.
Fixed.... -
- ...
28 Nov 2017
-
- The interface @SetTimeout@ and @UnsetTimeout@ is simple to understand. *BUT* it does imply use of a global variable ...
-
- John Abbott wrote:
> In CoCoALib I have used the RAII "design pattern": the dtor for a *@CpuTimeLimit@* object stops... -
- In CoCoALib I have used the RAII "design pattern": the dtor for a *@CpuTimeLimit@* object stops the "time bomb".
So ... -
- CoCoALib has a generic "timeout" facility (via objects of type *@CpuTimeLimit@*).
Can something easy-to-use be por... -
- My guess (I do not know the code) is that there is something optimized for monomial ideals...
Anyway, just looking... -
- Most of these problems have been resolved by porting the code to CoCoALib (thanks to Alice Moallemy, Marvin Brandenst...
24 Nov 2017
-
- The main functions from *@HomomorphismFns.cpkg5@* have been ported to CoCoALib, so the package appears no longer to s...
-
- If I have understood what the 2 exported fns from @subalgebra.cpkg5@ do, then they seems to be "obsolete" to me (supe...
-
- Is the *@subalgebra.cpkg5@* package obsolete now that we have homomorphism fns in CoCoALib?
20 Nov 2017
-
- Now using 10.11.
There are still some warning (lots), but compilation has been working fine for ages now.
Closing. -
-
- Trying to "save" it and postponing it, I wasted time.
I realized that the CoCoALib function @myMinimalize@ is just a... -
- Done.
It should also be dome properly for modules, doing in CoCoALib @SubmoduleOfGBasis@ and @SubmoduleOfMinGens@.
16 Nov 2017
-
- I prefer @minimalize@ to be made obsolescent; instead one should use @I := IdealOfMinGens(I)@ which is longer to writ...
-
- minimalized --> done.
what about minimalized?
Also available in: Atom