Activity
From 07 Nov 2017 to 06 Dec 2017
06 Dec 2017
-
13:43 Slug #1136 (In Progress): IsInRadical: sometimes a bit slow
- 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
-
16:07 Bug #1135: Compilaton with --debug configuration option gives errors
- > 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...
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)...
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... -
- 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
-
- Closing this issue.
May be improved, but it is acceptable for the general requirement.
I needed make a more specifi... -
-
- As for ideals.
-
- 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... -
- 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
-
- I have spoken briefly to Renzo about this.
He thinks it is most natural if @gens(ideal(L)) = L@ always.
Ideal s...
13 Nov 2017
-
- *@ERR::UtenteScemo!!@*
I somehow failed to notice that the loop also failed in CoCoA-5... oops!
Oddly enough, I... -
- I am confused by the behaviour of @NextPrime@ and @PrevPrime@.
Starting from @10^17@ in CoCoA-5, running @NextPrim...
10 Nov 2017
-
- Eliminated @NewLexOrdering@, @NewStdDegLexOrdering@, @NewStdDegRevLexOdering@.
Made all consequent changes. Changed... -
- I'm postponing again. We need to discuss this: the design does not convince me, and I hope that when we switch to C+...
-
- Even though @ReadExpr(R, str)@ and @RingElem(R, str)@ do the same thing, we can probably leave them both in CoCoALib ...
-
-
09 Nov 2017
-
- Polish the examples (remove obsolete ones) and consider this done for this stage.
-
-
- What should *@IsIrred@* do in the following cases:
* arg is not in an integral domain [error?]
* arg is zero [erro... -
- I now think that it is best that error messages be sent to @/dev/stderr@ since that is probably what most (experience...
08 Nov 2017
-
- Should this issue be postponed?
-
- I think the *@CutLF@* function solves this issue.
Do you agree? If so, we can close the issue :-) -
- JAA thinks the current situation is acceptable, and does not see an easy way to improve it.
Closing.
-
- The scripts seems to work fine now.
Closing.
-
- I think all scripts use here documents now.
Anyway, this issue can be closed. -
- I have not really tested this (as I do not often interrupt a @make@, especially during the rebuilding of the dependen...
-
-
-
- I have not experienced any problem with compiling CoCoALib over the last 10 months, so presumably whatever I did is O...
-
-
- John Abbott wrote:
> Should we allow ideals to be multiplied by integers or rational numbers?
I vote "no"
*JAA... -
- Should we allow ideals to be multiplied by integers or rational numbers?...
-
-
-
-
-
- I have just tested it now, and it seems adequately fast (until someone needs really big polys).
Reading @Chebyshev... -
- CoCoA is slow at factorizing high powers of @x@. For example:...
-
-
- Does this change make the file @RingElemInput@ obsolete?
At least the function *@ReadExpr@* should be regarded as ob... -
- JAA has updated all tests.
-
-
-
- Why didn't I give at least one failing example?
Anyway, it seems OK now... so closing.
07 Nov 2017
-
- JAA suggests that we handle integer and rational coeffs specially; all other coeffs are handled in a generic way.
He... -
- Currently CoCoALib prints out polys wth negative rational coeffs in an ugly way:...
Also available in: Atom