Activity
From 30 Oct 2017 to 28 Nov 2017
27 Nov 2017
-
09:15 Feature #1094: Revive code for SelfSaturating GBasis
- 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... -
15:28 Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- 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:...
06 Nov 2017
-
- JAA has a temporary version of FROBBY available in @frobby_v0.9.3.tgz@
This seems to avoid the portability problem... -
- I have made a preliminary version of @configure@ and various auxiliary scripts which do not expect extra CXXFLAGS for...
-
-
-
- JAA thinks this has already been resolved adequately in the intervening 5 years.
Closing.
-
- OK, let's use *@radical@* then (both for ideals and ring elements); it is the clearest.
Closing.
-
- John Abbott wrote:
> It seems that this issue is practically finished except for the questoon of the name of the fun... -
- It seems that this issue is practically finished except for the questoon of the name of the function.
The main choic... -
-
- I think this has been mostly done.
There is no longer the GPLv2 file, no any file called @INSTALL@ (but there is @... -
-
- This is apparently complete (also included in CoCoA-5).
-
-
- *MatByRows/Cols* is now available in CoCoALib.
All other questions have been dealt with, more or less directly.
-
- This issue is a bit strange -- it is now quite old, and of questionable relevance now.
Perhaps we should just clos... -
-
-
03 Nov 2017
-
- Here is another example (possibly simpler than the previous one?):...
02 Nov 2017
-
- Add this new class, mimicking @RingWeyl@.
31 Oct 2017
-
- Here are some examples I found lying around in a file:...
Also available in: Atom