On 19/09/16 04:59, Kurt Pagani wrote:
Hello Martin
As promised (before vacation) below two examples which I'm unable to
interpret (otherwise I recognized that you've improved your code and
that it's now included in fricas -- great :). A lot more examples work
now (i.e same results as Kenzo).
Thanks, very much, for checking this.
BTW: why didn't you allow '0'? NNI=0,1,2,... ;)
-- from https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/Kenzo-doc.pdf
Neither Firefox nor Chrome would allow me to connect to this site, I got:
"Your connection is not secure
The owner of www-fourier.ujf-grenoble.fr has configured their website
improperly. To protect your information from being stolen, Firefox has
not connected to this website."
Even when I changed https to http it automatically changed it back and
would not connect.
ASIMP := FiniteSimplicialComplex(VertexSetAbstract)
v0:List(List(NNI)) :=[[0],[1],[2],[3],[4],[5],[6],[7], _
[0,1],[0,2],[0,3], _
[0,4],[0,5],[0,6], _
[0,7],[1,2],[1,3], _
[1,4],[1,5],[1,6], _
[1,7],[2,3],[2,4], _
[2,6],[2,7],[3,4], _
[3,5],[4,5],[4,6], _
[5,6],[5,7],[6,7], _
[0,1,5],[0,1,6],[0,1,7], _
[0,2,3],[0,2,4],[0,2,6], _
[0,3,4],[0,5,7],[1,2,3], _
[1,2,4],[1,2,7],[1,3,5], _
[1,4,6],[2,6,7],[3,4,5], _
[4,5,6],[5,6,7]]
Well since these values are potentially being used as indexes into
VertexSet and since the usual FriCAS default is 1-based indexing I used
that.
However Waldek has suggested replacing VertexSet with any SetCategory
which would allow indexes to be hidden from user interface. This would
allow any values to be used here.
I will therefore attempt to implement Waldeks suggestion.
On 05/09/16 01:17, Waldek Hebisch wrote:
> No. My suggestion is to have:
>
> FiniteSimplicialComplex(VS : SetCategory)
> ...
> Rep := Record(VERTSET : List(VS), SIMP : List(OrientedFacet))
>
> SIMP can use numbers from 1 to n. VERTSET gives correspondence
> between numbers and vertices.
On 19/09/16 04:59, Kurt Pagani wrote:
-- Dunce hat
-- https://en.wikipedia.org/wiki/Dunce_hat_(topology)
v1:List(List(NNI)) :=[[1],[2],[3],[4],[5],[6],[7],[8], _
[1,2],[1,3],[1,4], _
[1,5],[1,6],[1,7], _
[1,8],[2,3],[2,4], _
[2,5],[2,6],[2,7], _
[2,8],[3,4],[3,5], _
[3,7],[3,8],[4,5], _
[4,6],[5,6],[5,7], _
[6,7],[6,8],[7,8], _
[1,2,6],[1,2,7],[1,2,8], _
[1,3,4],[1,3,5],[1,3,7], _
[1,4,5],[1,6,8],[2,3,4], _
[2,3,5],[2,3,8],[2,4,6], _
[2,5,7],[3,7,8],[4,5,6], _
[5,6,7],[6,7,8]]
I don't think all these values are necessary because any set is assumed
to contain all its subsets. However, explicitly including them should
not cause a problem. I will try to investigate what is going on.
Thanks again,
Martin B
--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
