Project

General

Profile

Design #1092

Design issues for discussion in July 2017

Added by John Abbott almost 7 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
Cleaning
Target version:
CoCoA-5.2.2
Start date:
17 Jul 2017
Due date:
% Done:

100%

Estimated time:
Spent time:
0.10 h

Description

Not really a single issue. Just to gather matters to discuss shortly.

History

#1 Updated by John Abbott almost 7 years ago

Keywords: ISSAC, SC-square, SC2

#2 Updated by Anna Maria Bigatti over 6 years ago

I would like to talk about the MathSAT interface: the class I wrote, and the input for MSatLinSolve.

#3 Updated by Anna Maria Bigatti over 6 years ago

homomorphism code

#4 Updated by Anna Maria Bigatti over 6 years ago

  • Status changed from New to Feedback

#5 Updated by Anna Maria Bigatti over 6 years ago

  • Status changed from Feedback to Rejected

We didn't take notes. Maybe we wrote things directly in the issues... or in the code.
Closing this.

#6 Updated by Anna Maria Bigatti over 6 years ago

  • Status changed from Rejected to Closed
  • % Done changed from 0 to 100

Also available in: Atom PDF