Lorenzo Robbiano's activity
From 28 Oct 2015 to 26 Nov 2015
26 Nov 2015
-
18:04 CoCoALib Design #825: IsPositiveGrading -- really need 2 signatures?
- John Abbott wrote:
> Just to clarify the semantics:
> * @IsPositiveGrading@ accepts a matrix of integers (error if ... -
17:01 CoCoALib Design #825: IsPositiveGrading -- really need 2 signatures?
- John Abbott wrote:
> What is the difference between @IsTermOrdering@ and @IsPositiveGrading@?
>
> One allows a ze...
Also available in: Atom