Activity
From 15 Nov 2017 to 14 Dec 2017
14 Dec 2017
-
16:26 CoCoA-5 Bug #1140 (Closed): ImplicitModular: too many bad primes
- this is related with @implicit@: it should (by default) return the ideal in a ring with weights, so that the generato...
-
14:54 CoCoA-5 Bug #1140: ImplicitModular: too many bad primes
- 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 ...
-
- @ker@ should use @implicit@, and @implicit@ should return (if not otherwise indicated) the answer in a ring with a co...
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?
07 Dec 2017
-
- After doing some experiments we (Lorenzo Robbiano and I) are now convinced that it is always worth giving weights and...
06 Dec 2017
-
- With the original exponents (4,5) the timings I obtained are:
* @IsInRadical(f1,I)@ took 2.6s
* @IsInRadical(f2,I)... -
- I noticed that @test-RadicalMembership1.C@ was rather slow, and wanted to make it faster.
It tests for membership ...
05 Dec 2017
-
- > Should the target version be 0.99560 or 0.99570?
if it's done, 60! -
- In an earlier version of CoCoALib the preprocessor symbol *@CoCoA_DEBUG@* contained an integer value: 1 gave standard...
-
- Configuring CoCoALib with the option *@--debug@* produces errors when compiling the library, and then later when runn...
04 Dec 2017
-
- One big disadvantage of the CoCoALib documentation compared to the CoCoA-5 documentation is the lack of "searchabilit...
-
- So far we have (mostly) followed the guideline of documentation files corresponding 1--1 to source files.
Devise a... -
- 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.... -
- ...
30 Nov 2017
-
- Improve the code adding weights and homogenization...
should be trivial...
(I will do it) -
- JAA thinks that *@CanonicalHom@* should be fairly general, and not just a "single-step".
Perhaps the "single-step" v... -
- It would be convenient to have an automatic homomorphism P1 -> P2 (differing only for ordering)
which effectively is...
29 Nov 2017
-
- I have checked in a first impl. It seems to work on a couple of simple tests.
The main problem is that it produce... -
- Added fn to compute a Sturm Seq, and to count the number of real roots (between two points?)
-
- this gives error (general code is for fields)...
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...
27 Nov 2017
-
- Added interreduction (in CoCoA5 package)
25 Nov 2017
-
-
- Suggested names for the functions modifying this:
@ComputeAndSetIsPrime3@, @ComputeAndSetIsMaximal3@, ...
Better ... -
- For ideals John suggested:
#899#note-7
Anna:
#899#note-5
24 Nov 2017
-
- Understood (probably) what the interface was meant to be.
Written test code, seems to work well :-)
Final interre... -
- 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?
-
- What is the status of this issue? Isn't it nearly finished?
Related to thi is the use of @PreImage@ in some CoCoA...
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... -
- Closing this issue.
May be improved, but it is acceptable for the general requirement.
I needed make a more specifi... -
-
- As for ideals.
-
- Done.
It should also be dome properly for modules, doing in CoCoALib @SubmoduleOfGBasis@ and @SubmoduleOfMinGens@. -
- I have met this problem in a particular context (hyperplane arrangements).
We constructed an ideal and then asked @S...
16 Nov 2017
-
- A crucial aspect is passing to the script all the values it will need (including a path which might contain awkward c...
-
- The @install@ target in the top @Makefile@ for CoCoALib is about 70 lines long.
It would probably be better to mak... -
- I prefer @minimalize@ to be made obsolescent; instead one should use @I := IdealOfMinGens(I)@ which is longer to writ...
-
- minimalized --> done.
what about minimalized?
-
- If we do move @examples/@ into @doc/@ then presumably this should also be the case for an installed version of CoCoAL...
-
- Anna was concerned that "hiding" @examples/@ inside @doc/@ might make it less visible; but apart from that doubt she ...
-
- After having improved the installation procedure for CoCoALib, it seems better/cleaner/more natural to put the direct...
-
- Before installing CoCoA you must compile *both* the library *and* the documentation (incl. @examples/index.html@).
T...
15 Nov 2017
-
- Seems OK to me.
Let's worry later (if at all) about outputting a newline if the last print line didn't have one...... -
-
- Moved. Closing.
-
- The advantage of moving @Fact@ (and @Factorial@?) to @obsolescent.cpkg5 is that users will get a message telling them...
-
- I have just run the CoCoA-5 tests with @BackwardCompatible.cpkg5@ moved to different place. All tests passed.
Ye... -
- Work on "ideals mod p" still in progress.
Postpone to next version. -
- I have implemented Approach (3).
Should we tell the public that double-quotes are "ignored" when searching in the ... -
- I have been using CoCoA-5 inside emacs for over a month with the new line added to @cocoa5.emacs@, and have not notic...
-
- I shall close this issue, and create a new issue about creating @RandomLinearForm@.
-
- Should we add a new function *@RandomLinearForm@*?
What should its arg(s) be?
Split off from issue #1067.
-
- I have spoken briefly to Renzo about this.
He thinks it is most natural if @gens(ideal(L)) = L@ always.
Ideal s... -
- Here is a zero-dim ideal with simple DegRevLex RGB...
Also available in: Atom