Activity
From 04 Nov 2017 to 03 Dec 2017
02 Dec 2017
- 10:05 CoCoA-5 Support #1061: Release: CoCoA-5.2.2
- Some updates in the pages "dowload" (with link to google group) and "conferences" (with cocoa calendar)
01 Dec 2017
- 17:26 CoCoA-5 Bug #1080 (Feedback): intersect: problem with zero generators
- I added the function @EmbedPolyListNo0@ in @TmpGReductor.C@.
It does the same as @EmbedPolyList@ but skipping zero p... - 16:22 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers
- Some more cleaning. Now list is clean and ready.
I have to find out how to invite others and to advertise the subsc... - 15:48 CoCoA-5 Design #1127: subalgebra package obsolete?
- Mostly cleared: now it exports @SubalgebraHom@, and @SubalgebraRepr@ is obsolescent.
Exhaustive documentation shows... - 13:41 CoCoA-5 Design #1127 (In Progress): subalgebra package obsolete?
- 13:41 CoCoA-5 Design #1127: subalgebra package obsolete?
- Indeed, we could just export @SubalgebraHom@ (pretty trivial function), and give some examples.
I'm a bit comfused t... - 12:04 CoCoA-5 Bug #1133 (Feedback): Radical bug
- Found it.
In some point the GBasis is added to the gens list. Later the gens list is expected interreduced.
Fixed.... - 09:33 CoCoA-5 Bug #1133 (Closed): Radical bug
- ...
30 Nov 2017
- 17:32 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- Improve the code adding weights and homogenization...
should be trivial...
(I will do it) - 10:04 CoCoALib Feature #1132: Canonical homomorphism for (some) polynomial rings?
- JAA thinks that *@CanonicalHom@* should be fairly general, and not just a "single-step".
Perhaps the "single-step" v... - 09:28 CoCoALib Feature #1132 (New): Canonical homomorphism for (some) polynomial rings?
- It would be convenient to have an automatic homomorphism P1 -> P2 (differing only for ordering)
which effectively is...
29 Nov 2017
- 21:39 CoCoALib Feature #1131 (In Progress): Sturm sequence
- I have checked in a first impl. It seems to work on a couple of simple tests.
The main problem is that it produce... - 21:35 CoCoALib Feature #1131 (Closed): Sturm sequence
- Added fn to compute a Sturm Seq, and to count the number of real roots (between two points?)
- 16:13 CoCoALib Bug #1130 (In Progress): SqFreeFactor: should it work over ZZ?
- this gives error (general code is for fields)...
28 Nov 2017
- 18:06 CoCoA-5 Feature #1129: Generic Timeout for CoCoA-5?
- The interface @SetTimeout@ and @UnsetTimeout@ is simple to understand. *BUT* it does imply use of a global variable ...
- 16:05 CoCoA-5 Feature #1129: Generic Timeout for CoCoA-5?
- John Abbott wrote:
> In CoCoALib I have used the RAII "design pattern": the dtor for a *@CpuTimeLimit@* object stops... - 15:22 CoCoA-5 Feature #1129 (In Progress): Generic Timeout for CoCoA-5?
- In CoCoALib I have used the RAII "design pattern": the dtor for a *@CpuTimeLimit@* object stops the "time bomb".
So ... - 15:17 CoCoA-5 Feature #1129 (In Progress): Generic Timeout for CoCoA-5?
- CoCoALib has a generic "timeout" facility (via objects of type *@CpuTimeLimit@*).
Can something easy-to-use be por... - 14:56 CoCoA-5 Bug #1032: IsInRadical: fragile code
- My guess (I do not know the code) is that there is something optimized for monomial ideals...
Anyway, just looking... - 14:04 CoCoA-5 Bug #1032 (Resolved): IsInRadical: fragile code
- Most of these problems have been resolved by porting the code to CoCoALib (thanks to Alice Moallemy, Marvin Brandenst...
27 Nov 2017
- 09:15 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis
- Added interreduction (in CoCoA5 package)
25 Nov 2017
- 10:42 CoCoALib Feature #361 (Closed): implement IsPrime3, IsMaximal3
- 10:38 CoCoALib Design #924: FlagManager for bool/bool3 flags
- Suggested names for the functions modifying this:
@ComputeAndSetIsPrime3@, @ComputeAndSetIsMaximal3@, ...
Better ... - 10:30 CoCoALib Design #924: FlagManager for bool/bool3 flags
- For ideals John suggested:
#899#note-7
Anna:
#899#note-5
24 Nov 2017
- 17:21 CoCoALib Feature #1094: Revive code for SelfSaturating GBasis
- Understood (probably) what the interface was meant to be.
Written test code, seems to work well :-)
Final interre... - 17:03 CoCoA-5 Design #1128 (Closed): HomomorphismFns.cpkg5 no longer needed?
- The main functions from *@HomomorphismFns.cpkg5@* have been ported to CoCoALib, so the package appears no longer to s...
- 17:00 CoCoA-5 Design #1127: subalgebra package obsolete?
- If I have understood what the 2 exported fns from @subalgebra.cpkg5@ do, then they seems to be "obsolete" to me (supe...
- 16:58 CoCoA-5 Design #1127 (Closed): subalgebra package obsolete?
- Is the *@subalgebra.cpkg5@* package obsolete now that we have homomorphism fns in CoCoALib?
- 15:28 CoCoALib 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
- 22:31 CoCoA-5 Bug #545 (Closed): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Now using 10.11.
There are still some warning (lots), but compilation has been working fine for ages now.
Closing. - 22:14 CoCoA-5 Bug #545 (Feedback): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- 22:01 CoCoA-5 Design #1123 (Feedback): Should "minimalize" be obsolescent?
- Trying to "save" it and postponing it, I wasted time.
I realized that the CoCoALib function @myMinimalize@ is just a... - 16:12 CoCoALib Feature #730 (Closed): Stats in GBMill (GReductor)
- Closing this issue.
May be improved, but it is acceptable for the general requirement.
I needed make a more specifi... - 16:07 CoCoALib Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- 15:49 CoCoALib Feature #1126 (Closed): New function: SubmoduleOfMinGens
- As for ideals.
- 15:47 CoCoA-5 Design #1020 (Closed): Rename minimalized(I) into IdealOfMinGens(I)?
- Done.
It should also be dome properly for modules, doing in CoCoALib @SubmoduleOfGBasis@ and @SubmoduleOfMinGens@. - 14:06 CoCoALib Design #908: Sum of ideals: what are the generators of (x) + (0)?
- I have met this problem in a particular context (hyperplane arrangements).
We constructed an ideal and then asked @S...
16 Nov 2017
- 17:13 CoCoALib Design #1125: Separate install script for CoCoALib?
- A crucial aspect is passing to the script all the values it will need (including a path which might contain awkward c...
- 16:38 CoCoALib Design #1125 (New): Separate install script for CoCoALib?
- The @install@ target in the top @Makefile@ for CoCoALib is about 70 lines long.
It would probably be better to mak... - 16:36 CoCoA-5 Design #1123 (In Progress): Should "minimalize" be obsolescent?
- I prefer @minimalize@ to be made obsolescent; instead one should use @I := IdealOfMinGens(I)@ which is longer to writ...
- 11:54 CoCoA-5 Design #1123 (Closed): Should "minimalize" be obsolescent?
- minimalized --> done.
what about minimalized?
- 16:32 CoCoALib Design #1124: Move examples directory into doc -- or just change makefile?
- If we do move @examples/@ into @doc/@ then presumably this should also be the case for an installed version of CoCoAL...
- 15:24 CoCoALib Design #1124 (In Progress): Move examples directory into doc -- or just change makefile?
- Anna was concerned that "hiding" @examples/@ inside @doc/@ might make it less visible; but apart from that doubt she ...
- 15:22 CoCoALib Design #1124 (Closed): Move examples directory into doc -- or just change makefile?
- After having improved the installation procedure for CoCoALib, it seems better/cleaner/more natural to put the direct...
- 15:20 CoCoALib Feature #1005: Makefile: install target for CoCoALib
- Before installing CoCoA you must compile *both* the library *and* the documentation (incl. @examples/index.html@).
T...
15 Nov 2017
- 18:11 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- Seems OK to me.
Let's worry later (if at all) about outputting a newline if the last print line didn't have one...... - 17:43 CoCoA-5 Feature #1011 (Closed): Random seed fn
- 17:40 CoCoA-5 Design #939 (Closed): Rename Fact to factorial?
- Moved. Closing.
- 17:23 CoCoA-5 Design #939: Rename Fact to factorial?
- The advantage of moving @Fact@ (and @Factorial@?) to @obsolescent.cpkg5 is that users will get a message telling them...
- 17:39 CoCoA-5 Support #940 (Closed): Check all fns in packages work even without BackwardCompatible.cpkg5
- I have just run the CoCoA-5 tests with @BackwardCompatible.cpkg5@ moved to different place. All tests passed.
Ye... - 17:36 CoCoA-5 Feature #978: CommonDenom: for polys and lists?
- Work on "ideals mod p" still in progress.
Postpone to next version. - 17:19 CoCoA-5 Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces
- I have implemented Approach (3).
Should we tell the public that double-quotes are "ignored" when searching in the ... - 17:05 CoCoA-5 Slug #1109 (Closed): Emacs UI can be slow in M$ Windows
- I have been using CoCoA-5 inside emacs for over a month with the new line added to @cocoa5.emacs@, and have not notic...
- 17:02 CoCoA-5 Design #1067 (Closed): "Randomize" and "Randomized" obsolete?
- I shall close this issue, and create a new issue about creating @RandomLinearForm@.
- 17:01 CoCoA-5 Feature #1122 (Closed): New fn: RandomLinearForm
- Should we add a new function *@RandomLinearForm@*?
What should its arg(s) be?
Split off from issue #1067.
- 16:54 CoCoALib Design #908: Sum of ideals: what are the generators of (x) + (0)?
- I have spoken briefly to Renzo about this.
He thinks it is most natural if @gens(ideal(L)) = L@ always.
Ideal s... - 14:57 CoCoA-5 Slug #1025 (In Progress): Example of slow LEX GBasis computation
- Here is a zero-dim ideal with simple DegRevLex RGB...
13 Nov 2017
- 18:10 CoCoA-5 Design #939: Rename Fact to factorial?
- John Abbott wrote:
> Why not make @Fact@ obsolescent?
> Surely it is a good idea to encourage users to move away fr... - 15:53 CoCoA-5 Design #939: Rename Fact to factorial?
- Why not make @Fact@ obsolescent?
Surely it is a good idea to encourage users to move away from @Fact@ to @factorial@... - 17:00 CoCoA-5 Bug #712: External Libs: missing dependencies in Makefiles
- I'm not even sure if it is worth trying to resolve this... :-/
- 15:59 CoCoA-5 Bug #1060 (Closed): describe ring: add final newline
- 15:58 CoCoA-5 Bug #670 (Closed): Error column indicator misaligned with non-printing (unprintable) characters
- 15:57 CoCoA-5 Bug #981 (Closed): SqFreeFactor: small (or big) bug?
- 15:49 CoCoA-5 Support #265 (Closed): Linking problems in CoCoA-5 GUI
- Grrr! I don't enjoy maintaining the GUI code.
No one else can compile it, as far as I know.
I don't recall having ... - 15:46 CoCoA-5 Slug #741 (Closed): C5 GUI: slow to close
- I don't know who else can test this. I hardly ever use the GUI; does anyone else?
Closing.
- 15:43 CoCoA-5 Feature #1084 (Closed): New function: PrevPrime
- Completed CoCoA-5 man page for @PrevPrime@.
- 15:37 CoCoALib Bug #1121 (Rejected): PrevPrime and NextPrime anomalies
- *@ERR::UtenteScemo!!@*
I somehow failed to notice that the loop also failed in CoCoA-5... oops!
Oddly enough, I... - 15:18 CoCoALib Bug #1121 (Rejected): PrevPrime and NextPrime anomalies
- I am confused by the behaviour of @NextPrime@ and @PrevPrime@.
Starting from @10^17@ in CoCoA-5, running @NextPrim... - 15:14 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers
- John Abbott wrote:
> The proposal is a unified mailing list for both CoCoA-5 and CoCoALib?
unified.
90% of the c... - 15:02 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers
- The proposal is a unified mailing list for both CoCoA-5 and CoCoALib?
Probably reasonable, unless/until there is a... - 13:24 CoCoA-5 Feature #1119: Mailing list for CoCoAUsers
- The current list has some problems: hand made, fliddly to maintain, based on a php script which is recently misbehavi...
- 15:06 CoCoA-5 Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- Closing as it seems OK. (no point in investing more time)
- 15:04 CoCoA-5 Bug #1095 (Closed): TimeOut not working as hoped/expected
- I have not really tested this, but think that the current impl is OK anyway ==> closing.
- 14:51 CoCoA-5 Design #1120: Web site
- Created google calendar of conferences (attended by cocoa people)
Updated conference page: with flexible design fo... - 14:49 CoCoA-5 Design #1120 (Closed): Web site
- Make a thourough check of the web site.
Make it more flexible (for mobiles)
Add useful features.
10 Nov 2017
- 15:09 CoCoALib Design #829 (Closed): PPOrderingCtor: name of mem fn which actually constructs?
- Eliminated @NewLexOrdering@, @NewStdDegLexOrdering@, @NewStdDegRevLexOdering@.
Made all consequent changes. Changed... - 12:37 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- I'm postponing again. We need to discuss this: the design does not convince me, and I hope that when we switch to C+...
- 12:34 CoCoALib Feature #1052 (Closed): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- Even though @ReadExpr(R, str)@ and @RingElem(R, str)@ do the same thing, we can probably leave them both in CoCoALib ...
- 12:23 CoCoALib Feature #1030 (Closed): IsInRadical: case of homog ideal
- 12:18 CoCoA-5 Bug #1062 (Closed): IsRadical bug?
- 12:16 CoCoALib Bug #1064 (Closed): Bug in MinPolyModular (ugly prime)
09 Nov 2017
- 16:14 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash
- I have no idea what Emacs does with such an input string. Searching on internet yielded nothing useful.
I have re... - 14:43 CoCoA-5 Bug #672 (In Progress): Emacs UI: strange string literal causes crash
- I have confirmed that a crash occurs even if you type as input to an interactive CoCoA-5 session the string @"\^"@ wh...
- 14:09 CoCoALib Feature #1090 (Resolved): ExternaLib-MathSAT: first prototype
- Polish the examples (remove obsolete ones) and consider this done for this stage.
- 14:09 CoCoA-5 Bug #1060 (Feedback): describe ring: add final newline
- I have modified @Interpreter.C:281@ by inserting a call to mem fn @newline@; now it is...
- 13:59 CoCoALib Feature #1033 (Closed): Split poly into homog parts
- 13:57 CoCoALib Design #846: IsIrred: correct design?
- What should *@IsIrred@* do in the following cases:
* arg is not in an integral domain [error?]
* arg is zero [erro... - 13:50 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages
- I now think that it is best that error messages be sent to @/dev/stderr@ since that is probably what most (experience...
- 10:52 CoCoA-5 Feature #1119 (Closed): Mailing list for CoCoAUsers
- Investigate for making a mailing list for cocoa users.
(instead of the current hand-made list)
08 Nov 2017
- 18:39 CoCoALib Feature #958: New function: multiplicity and dim
- Should this issue be postponed?
- 18:37 CoCoALib Feature #1033 (Feedback): Split poly into homog parts
- I think the *@CutLF@* function solves this issue.
Do you agree? If so, we can close the issue :-) - 18:31 CoCoALib Support #574 (Closed): Tidy CoCoA root directory
- JAA thinks the current situation is acceptable, and does not see an easy way to improve it.
Closing.
- 18:16 CoCoALib Bug #593 (Closed): Temporary directories used during configuration
- The scripts seems to work fine now.
Closing.
- 18:13 CoCoALib Feature #759 (Closed): Configuration: where to keep source for test compilations?
- I think all scripts use here documents now.
Anyway, this issue can be closed. - 18:08 CoCoALib Bug #1078 (Closed): makefile: ungraceful when interrupted
- I have not really tested this (as I do not often interrupt a @make@, especially during the rebuilding of the dependen...
- 17:44 CoCoALib Design #789 (Closed): NumTheory: behaviour of InvMod when inverse does not exist
- 17:16 CoCoALib Feature #180 (Closed): GlobalManager: registration of global variables
- 17:08 CoCoALib Design #999 (Closed): configuration: include -std=c++03 by default?
- I have not experienced any problem with compiling CoCoALib over the last 10 months, so presumably whatever I did is O...
- 17:03 CoCoALib Bug #1081 (Closed): ideal() * RingElem gives error
- 16:59 CoCoALib Bug #1081: ideal() * RingElem gives error
- John Abbott wrote:
> Should we allow ideals to be multiplied by integers or rational numbers?
I vote "no"
*JAA... - 14:18 CoCoALib Bug #1081: ideal() * RingElem gives error
- Should we allow ideals to be multiplied by integers or rational numbers?...
- 17:00 CoCoALib Support #1097 (Closed): Rename ERR::SERIOUS to ERR::ShouldNeverGetHere
- 16:33 CoCoALib Feature #638 (Closed): Time limit: let user specify time limit for a computation
- 16:31 CoCoALib Design #1086 (Closed): New design for interrupt mechanism
- 16:29 CoCoALib Feature #962 (Closed): General verbose mode?
- 15:59 CoCoALib Slug #881 (Closed): ReadExpr is too slow on large polys
- I have just tested it now, and it seems adequately fast (until someone needs really big polys).
Reading @Chebyshev... - 15:18 CoCoALib Slug #1118 (In Progress): SLUG: factorization of x^9999
- CoCoA is slow at factorizing high powers of @x@. For example:...
- 14:39 CoCoALib Bug #1088 (Closed): MinPolyQuot: runs out of primes
- 14:38 CoCoALib Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- Does this change make the file @RingElemInput@ obsolete?
At least the function *@ReadExpr@* should be regarded as ob... - 14:37 CoCoALib Feature #1052 (Feedback): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- JAA has updated all tests.
- 14:24 CoCoALib Design #1063 (Closed): Catching an (expected) error
- 14:22 CoCoALib Design #1065 (Closed): Design: should we allow an ideal to change ring?
- 14:12 CoCoALib Bug #1082 (Closed): factor in ZZ[x] gives errors
- Why didn't I give at least one failing example?
Anyway, it seems OK now... so closing.
07 Nov 2017
- 13:39 CoCoALib Feature #1117 (In Progress): Better printing of negative coeffs
- JAA suggests that we handle integer and rational coeffs specially; all other coeffs are handled in a generic way.
He... - 12:34 CoCoALib Feature #1117 (In Progress): Better printing of negative coeffs
- Currently CoCoALib prints out polys wth negative rational coeffs in an ugly way:...
06 Nov 2017
- 16:48 CoCoALib Bug #756 (Closed): frobby (v0.9.0) does not compile with g++-4.8
- JAA has a temporary version of FROBBY available in @frobby_v0.9.3.tgz@
This seems to avoid the portability problem... - 16:43 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags
- I have made a preliminary version of @configure@ and various auxiliary scripts which do not expect extra CXXFLAGS for...
- 15:53 CoCoALib Feature #1035 (Closed): Improvement: how to sort QuotientBasis?
- 15:50 CoCoALib Feature #1102 (Closed): Implement RootBound
- 15:49 CoCoALib Feature #255 (Closed): Use BOOST lib default location if possible
- JAA thinks this has already been resolved adequately in the intervening 5 years.
Closing.
- 15:31 CoCoALib Feature #796 (Closed): CoCoALib function for radical (or SqFree) of a polynomial
- OK, let's use *@radical@* then (both for ideals and ring elements); it is the clearest.
Closing.
- 15:20 CoCoALib Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- John Abbott wrote:
> It seems that this issue is practically finished except for the questoon of the name of the fun... - 14:24 CoCoALib Feature #796: CoCoALib function for radical (or SqFree) of a polynomial
- It seems that this issue is practically finished except for the questoon of the name of the function.
The main choic... - 15:27 CoCoALib Feature #1108 (Closed): New fn: IsCoprime (whenever gcd makes sense)
- 15:24 CoCoALib Support #574 (Resolved): Tidy CoCoA root directory
- I think this has been mostly done.
There is no longer the GPLv2 file, no any file called @INSTALL@ (but there is @... - 15:15 CoCoALib Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
- 15:12 CoCoALib Feature #979 (Closed): SmallestNonDivisor -- new fn
- This is apparently complete (also included in CoCoA-5).
- 15:06 CoCoALib Bug #1101 (Feedback): Bug in MinPolyModular (insufficient rational reconstruction)
- 14:59 CoCoA-5 Design #1116 (New): Port RowMat, ColMat, MatByRows,... to CoCoA-5
- There are functions in CoCoALib for
RowMat, ColMat, MatByRows,...
port them to CoCoA-5 (instead of the ones writte... - 14:41 CoCoALib Feature #37: matrix constructors
- *MatByRows/Cols* is now available in CoCoALib.
All other questions have been dealt with, more or less directly.
- 14:31 CoCoALib Feature #37: matrix constructors
- This issue is a bit strange -- it is now quite old, and of questionable relevance now.
Perhaps we should just clos... - 14:06 CoCoALib Feature #730 (Feedback): Stats in GBMill (GReductor)
- 13:56 CoCoALib Slug #881 (Feedback): ReadExpr is too slow on large polys
- 13:48 CoCoALib Feature #962 (Feedback): General verbose mode?
Also available in: Atom