Activity
From 02 Jul 2017 to 31 Jul 2017
24 Jul 2017
-
11:10 CoCoALib Feature #587: port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- John Abbott wrote:
> I propose a new fn *@preimage0@* which returns either a preimage or the zero element of the dom... -
- I would like to talk about the MathSAT interface: the class I wrote, and the input for MSatLinSolve.
-
- @Fact@ is in BackwardCompatible.cpkg5, and not in the manual.
@factorial@ is the official name.
Should we close t...
23 Jul 2017
-
16:30 CoCoA-5 Bug #1093: GUI: bugs and slugs
- I have changed the way CoCoALib handles signals. This forced me to make some changes to the source of the GUI (but w...
-
- The GUI really seems to have trouble with big outputs; my guess is that this is a QT "feature" :-/
@factorial(10^5... -
- I know the GUI is on "life support" (or worse), but I'd like to gather in one place some of the problems it has just ...
-
-
- How about making *@Fact@* obsolescent?
-
- My "clever idea" in comment 2 for cleaning the gens of the kernel does not work well.
I have cleaned the students'...
22 Jul 2017
-
- I wonder if either of the following ideas could be completed into an algorithm (with reliable output):
# if the idea... -
- Checked in the new BOOST-free version.
Still have to update doc.
21 Jul 2017
-
- I have modified the structure of @interrupt@, and now have a new version of @CpuTimeLimit@ which does not need BOOST....
-
-
- I have just checked in a version which seems to work correctly in my (few) tests.
A crucial feature is use of the ...
20 Jul 2017
-
- It seems that my first attempt does not work as hoped.
Now trying the obvious approach: create a @Makefile_depende... -
- After about 150 hours the program running under gdb the program finally died from a @SIGABRT@.
The problem occurre...
19 Jul 2017
-
- I have implemented the change: just delete the check inside @operator=@ for ideals.
Some simple tests passed (_e.g._... -
- I would like to make a "release" for ISSAC/SC2 School. That is very soon, and there is probably not enough time to m...
-
- *RELEASE NOTES FOR CoCoALIB 0.99560* (or an interim version)
* @MinPolyQuot@ (modular) now has no limit on number ... -
- As far as I can tell @QuotientBasisSorted@ is already implemented in CoCoA-5.
Should it be moved into CoCoALib?
S... -
- The CoCoA-5 package was translated into C++ by some students at Kassel.
I have cleaned up the resulting code, and ch...
17 Jul 2017
-
- Keywords: ISSAC, SC-square, SC2
-
- Not really a single issue. Just to gather matters to discuss shortly.
-
- Should I log the time the students spent on this project? If so, how? (and where?)
-
- Since I had to assign some student projects after the CoCoALib mini-course (here in Kassel),
I gave the task of tran...
15 Jul 2017
-
- I have just checked in a first attempt at allowing users to impose time limits on computations in CoCoALib.
It use...
14 Jul 2017
-
- I think I have fixed the code: the only real change needed was to use @NewZZmod@ instead of @NewRingFp@.
This allows... -
- John Abbott wrote:
> The problem is not yet fixed (but I did have to try "hard" to make a big enough example).
!?... -
- The problem is not yet fixed (but I did have to try "hard" to make a big enough example).
The code should switch f... -
- I made a class MathSAT::env as a wrapper for msat_env
The interface is currently only via matrices.
See @examples... -
- ...
13 Jul 2017
-
- First prototype working, very naive implementation...
-
12 Jul 2017
-
- Cleaned up first prototype (0.99550), all in example into a more proper itnegration in ExternalLib-MathSAT.
The exam... -
11 Jul 2017
-
- How to debug this? Finding a smaller/faster example would help... but how?
Perhaps I'll try running it with @valgri... -
- I have a non-trivial program written using CoCoALib which causes the following error (on Fedora Linux):...
08 Jul 2017
-
- I have changed the implementation considerably (with simplifying consequences for GlobalManager and the interpreter (...
07 Jul 2017
-
- John Abbott wrote:
> I have just tried running the example from the comment above but with verbosity level 80.
> It... -
- Fixed using PrevPrime instead of NextPrime.
cvs-ed
05 Jul 2017
-
- I have just tried running the example from the comment above but with verbosity level 80.
It prints out each prime u... -
- Here is an example input which triggers the problem (after about 12 mins' CPU time)...
-
- I tried @MinPolyQuot@ on a slightly big example, and it ran out of primes.
This is surely a problem with all modul...
04 Jul 2017
-
- After some reflection and after chatting to Anna we have decided that @CutLF@ should also give an error (like @LF@) w...
-
- I have added a 1 sec sleep when the @cocoa5@ script prints out an error message.
This seems not to be inconvenient f... -
- A simple workaround is to put a short @sleep@ in the @cocoa5@ script so that the CoCoA-5 buffer still has a process.
... -
- Emacs version is 24.5.1 running on Fedora 24 Linux.
-
- I tried starting CoCoA-5 inside a fresh emacs by typing @M-x cocoa5@, and got the error *@Wrong type argument process...
03 Jul 2017
-
- There was also a question about the name: I have called it @CutLF@. Another possibility could be @MoveLF@ similar to...
-
- I have checked in my implementation (almost the same as the one above, plus some arg checking).
*QUESTION* what sh...
Also available in: Atom