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 minimal projective plane.
> projectivePlane() : DeltaComplex(VertexSetAbstract) ==
> dC := DeltaComplex(VertexSetAbstract)
> vs1 := vertexSeta(2)$VertexSetAbstract
> deltaComplex(vs1, [[[1, -2], [1, -2]], [[1, -2, 1, -2]]])$dC
Well, this is not minimal. Minimal version is:
deltaComplex(vs1, [[[1, -1], [1, 1]]])
Since in similar way one can build projective space I have
replaced projectivePlane() by projectiveSpace(n) where
n is the dimension. I also made a few other changes to make
code more efficient. ATM I have omited part dealing with
"randomSimplicialComplex". This function is fishy, giving
result which is far from beein random. And usefulness is
far from clear, for testing testing all cases is more
efficient and more convenient.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
