Martin Baker wrote:
>
> On 24/09/16 17:56, Martin Baker wrote:
> > Apart from Homotopy (which I will look at next) the only anomaly is
> > projective plane, see line 19 below.
>
> Just realised whats wrong with projective plane, it should have 2
> vertices like this:
>
>-- generate a minima
I wrote:
>
> > One finaly reason to use SVREF: according to
> > https://sourceforge.net/p/sbcl/mailman/message/30609918/
> > it's 100x faster to compile SVREF than AREF.
>
> I will look at this more. I see no difference in
> build time, so impact on total compile time is
> limited.
It seems tha
On 24/09/16 17:56, Martin Baker wrote:
Apart from Homotopy (which I will look at next) the only anomaly is
projective plane, see line 19 below.
Just realised whats wrong with projective plane, it should have 2
vertices like this:
-- generate a minimal projective plane.
projectivePlane()
Here is a proposed patch for alg_top, the patch is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/alg_top2.patch
and the file is here:
https://github.com/martinbaker/fricasAlgTop/blob/master/alg_top.spad
This adds new factory functions, in SimplicialComplexFactory there is a
tria
