Project

General

Profile

Activity

From 13 Nov 2017 to 12 Dec 2017

12 Dec 2017

19:32 Bug #1139: Radical problems
another... Anna Maria Bigatti
17:15 Bug #1139: Radical problems
Much like the example above:... John Abbott
16:58 Bug #1139: Radical problems
Here is another case where things go wrong:... John Abbott
15:06 Bug #1139: Radical problems
The problem seems to be when the ideal contains 1.... John Abbott
14:58 Bug #1139 (Closed): Radical problems
There are still problems with radical: sometimes it gives an empty list instead of an ideal.... John Abbott
15:36 Design #1137 (Closed): Latex: ideal
It seems OK to me. Closing.
I have improved the manual entry slightly.
John Abbott
11:01 Support #1023 (Closed): CoCoAManual for verbosity: how to find which levels? how to find which functions?
John Abbott

11 Dec 2017

19:21 Design #1092 (Closed): Design issues for discussion in July 2017
Anna Maria Bigatti
18:00 Design #1092 (Rejected): Design issues for discussion in July 2017
We didn't take notes. Maybe we wrote things directly in the issues... or in the code.
Closing this.
Anna Maria Bigatti
19:19 Bug #1133 (Closed): Radical bug
Anna Maria Bigatti
19:19 Support #1074 (Feedback): CoCoAManual: entry for radical
added example for radical(poly).
I'm not confident it always works for ideals in small characteristic.
I hope the...
Anna Maria Bigatti
19:10 Support #1000: CoCoAManual for "all cocoa commands"
John Abbott wrote:
> Is it possible to make links/references from normal manual pages to/from the page about CoCoA c...
Anna Maria Bigatti
18:47 Support #1023 (Feedback): CoCoAManual for verbosity: how to find which levels? how to find which functions?
I suggest closing this now.
A refined solution is much more difficult and probably not that necessary.
Anna Maria Bigatti
18:14 Support #439 (Closed): CoCoA website: download pages and installing instructions
The pages have changed a lot, and the comments here are vague.
There are more specific issues now, so I close this.
Anna Maria Bigatti
18:07 Support #439 (Resolved): CoCoA website: download pages and installing instructions
I keep installing cocoa for our students. The instructions are actually simple and complete.
Maybe we could add scr...
Anna Maria Bigatti
18:13 Support #985: Microsoft (Windows 10, maybe other versions): more help for installation
I keep installing cocoa for our students. The instructions are actually simple and complete.
Maybe we could add scre...
Anna Maria Bigatti
18:11 Support #322: Installation instructions (on website)
Adding a comment from John:
Some points to clarify on the website:
what to download and do for a completely...
Anna Maria Bigatti
18:03 Feature #1119: Mailing list for CoCoAUsers
more experiments, added logo in the google page. Anna Maria Bigatti
18:01 Design #1123 (Closed): Should "minimalize" be obsolescent?
Anna Maria Bigatti
17:58 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
Anna Maria Bigatti
17:53 Bug #1100 (Closed): PrimaryDecomposition0: says not 0-dim but IsZeroDim says ideal is zero-dim!
added tests
closing
Anna Maria Bigatti
17:41 Bug #1080: intersect: problem with zero generators
added test in exbugs. Anna Maria Bigatti
17:11 Bug #1080 (Closed): intersect: problem with zero generators
Anna Maria Bigatti
17:10 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
Anna Maria Bigatti
17:08 Bug #697 (Closed): Interpreter: Avoid outputting an empty line after each line of input
Anna Maria Bigatti
17:06 Design #1137 (Feedback): Latex: ideal
documentation done. Anna Maria Bigatti
16:40 Design #1137 (Closed): Latex: ideal
revised printing of ideals: now uses \ideal{gens} instead of old (gens)
Add macro definition in manual.
*2017-1...
Anna Maria Bigatti
16:55 Design #1075: LaTeX package: power-product printing
I removed the "\!\:" when the indets in the ring are single letters.
Now indets are separated by " " (i.e. a space)
Anna Maria Bigatti
16:42 Design #1075 (In Progress): LaTeX package: power-product printing
Anna Maria Bigatti
16:45 Design #1138 (New): Latex: matrix
Should we use matrix instead of array? Anna Maria Bigatti

04 Dec 2017

12:19 Bug #1055: CoCoAManual: duplication (2 pages for operators)
Now the "cocoa operators: introduction" is shorter (I commented out the part on priority, I'm not 100% sure...)
I a...
Anna Maria Bigatti
11:20 Bug #697 (Feedback): Interpreter: Avoid outputting an empty line after each line of input
Anna Maria Bigatti

02 Dec 2017

10:05 Support #1061: Release: CoCoA-5.2.2
Some updates in the pages "dowload" (with link to google group) and "conferences" (with cocoa calendar) Anna Maria Bigatti

01 Dec 2017

17:26 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...
Anna Maria Bigatti
16:22 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...
Anna Maria Bigatti
15:48 Design #1127: subalgebra package obsolete?
Mostly cleared: now it exports @SubalgebraHom@, and @SubalgebraRepr@ is obsolescent.
Exhaustive documentation shows...
Anna Maria Bigatti
13:41 Design #1127 (In Progress): subalgebra package obsolete?
Anna Maria Bigatti
13:41 Design #1127: subalgebra package obsolete?
Indeed, we could just export @SubalgebraHom@ (pretty trivial function), and give some examples.
I'm a bit comfused t...
Anna Maria Bigatti
12:04 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....
Anna Maria Bigatti
09:33 Bug #1133 (Closed): Radical bug
... Anna Maria Bigatti

28 Nov 2017

18:06 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 ... John Abbott
16:05 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...
Anna Maria Bigatti
15:22 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 ...
John Abbott
15:17 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...
John Abbott
14:56 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...
Anna Maria Bigatti
14:04 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... John Abbott

24 Nov 2017

17:03 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... John Abbott
17:00 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... John Abbott
16:58 Design #1127 (Closed): subalgebra package obsolete?
Is the *@subalgebra.cpkg5@* package obsolete now that we have homomorphism fns in CoCoALib? John Abbott

20 Nov 2017

22:31 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.
Anna Maria Bigatti
22:14 Bug #545 (Feedback): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
Anna Maria Bigatti
22:01 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...
Anna Maria Bigatti
15:47 Design #1020 (Closed): Rename minimalized(I) into IdealOfMinGens(I)?
Done.
It should also be dome properly for modules, doing in CoCoALib @SubmoduleOfGBasis@ and @SubmoduleOfMinGens@.
Anna Maria Bigatti
14:06 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...
Anna Maria Bigatti

16 Nov 2017

16:36 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... John Abbott
11:54 Design #1123 (Closed): Should "minimalize" be obsolescent?
minimalized --> done.
what about minimalized?
Anna Maria Bigatti

15 Nov 2017

18:11 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......
John Abbott
17:43 Feature #1011 (Closed): Random seed fn
John Abbott
17:40 Design #939 (Closed): Rename Fact to factorial?
Moved. Closing.
John Abbott
17:23 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... John Abbott
17:39 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...
John Abbott
17:36 Feature #978: CommonDenom: for polys and lists?
Work on "ideals mod p" still in progress.
Postpone to next version.
Anna Maria Bigatti
17:19 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 ...
John Abbott
17:05 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... John Abbott
17:02 Design #1067 (Closed): "Randomize" and "Randomized" obsolete?
I shall close this issue, and create a new issue about creating @RandomLinearForm@.
John Abbott
17:01 Feature #1122 (Feedback): New fn: RandomLinearForm
Should we add a new function *@RandomLinearForm@*?
What should its arg(s) be?
Split off from issue #1067.
John Abbott
16:54 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...
John Abbott
14:57 Slug #1025 (In Progress): Example of slow LEX GBasis computation
Here is a zero-dim ideal with simple DegRevLex RGB... John Abbott

13 Nov 2017

18:10 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...
Anna Maria Bigatti
15:53 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@...
John Abbott
17:00 Bug #712: External Libs: missing dependencies in Makefiles
I'm not even sure if it is worth trying to resolve this... :-/
John Abbott
15:59 Bug #1060 (Closed): describe ring: add final newline
John Abbott
15:58 Bug #670 (Closed): Error column indicator misaligned with non-printing (unprintable) characters
John Abbott
15:57 Bug #981 (Closed): SqFreeFactor: small (or big) bug?
John Abbott
15:49 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 ...
John Abbott
15:46 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.
John Abbott
15:43 Feature #1084 (Closed): New function: PrevPrime
Completed CoCoA-5 man page for @PrevPrime@.
John Abbott
15:14 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...
Anna Maria Bigatti
15:02 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...
John Abbott
13:24 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... Anna Maria Bigatti
15:06 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) John Abbott
15:04 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.
John Abbott
14:51 Design #1120: Web site
Created google calendar of conferences (attended by cocoa people)
Updated conference page: with flexible design fo...
Anna Maria Bigatti
14:49 Design #1120 (New): Web site
Make a thourough check of the web site.
Make it more flexible (for mobiles)
Add useful features.
Anna Maria Bigatti
 

Also available in: Atom