Martin Baker wrote:
>
> > As a face (part of simplical complex) (1,3) and
> > (3, 1) are the same face. And problem is not due to wrong
> > orientation of input:
>
> I remember now, it is the same face but we allow it to be included
> multiple times in different orientations:
>
> (1) -> ASI
On 19/09/16 20:25, Kurt Pagani wrote:
However, you can get the current handbook from github if you are interested:
https://github.com/gheber/kenzo/raw/master/doc/Kenzo-Doc.pdf
https://github.com/gheber/kenzo
I have only just skimmed through so far but Kenzo does look very
interesting. It looks
On 20/09/16 16:06, Waldek Hebisch wrote:
> You are confused.
It happens!
I have tried the patch and AFAICS it works fine, I would be happy if it
were applied.
> As a face (part of simplical complex) (1,3) and
> (3, 1) are the same face. And problem is not due to wrong
> orientation of input:
AFAICS the attached patch fixes the problem:
--
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
t
Martin Baker wrote:
>
> On 19/09/16 11:17, Waldek Hebisch wrote:
> > AFAICS code which allows omiting lower
> > dimensional faces is buggy, if we include lower dimensional
> > faces we get duplicate simplices. In particular, all
> > faces of triangle are duplicated and we get three extra
> > loop
Martin,
after a look into your code I think there was a deep misunderstanding -
my fault :(
Kenzo indeed works slightly different, so I tacitly assumed one needs
the full base of the triangulation w.r.t the bdry homomorphism. Your
method instead requires properly oriented input. Now I also concei
> 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.
>
I see. I guess you're already thinking of geometric realizations (list of
vectors?). But what if you remove a vertex or whole parts of the comple
Oh, I'm sorry having sent you that link, apparently I have it in the
exception list ...
However, you can get the current handbook from github if you are interested:
https://github.com/gheber/kenzo/raw/master/doc/Kenzo-Doc.pdf
https://github.com/gheber/kenzo
You'll find the examples on page 66 ff.
On 19/09/16 11:17, Waldek Hebisch wrote:
AFAICS code which allows omiting lower
dimensional faces is buggy, if we include lower dimensional
faces we get duplicate simplices. In particular, all
faces of triangle are duplicated and we get three extra
loops.
Are sure this is buggy?
AFAICS we need
On 19/09/16 12:00, Ralf Hemmecke wrote:
I can only speak for firefox, but you should note that forging a http
connection is easier than forging a https connection.
If you allow Firefox to do an exception for the above site (note that
you don't need to accept that exception "permanently" -- desel
On 09/19/2016 11:54 AM, Martin Baker wrote:
>
>> 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
> T
Kurt Pagani wrote:
> -- Diabolo
>
> v2:List(List(NNI)) := [[1],[2],[3],[4],[5],[6], _
> [1,2],[1,3],[2,3],[3,4],[4,5],[4,6],[5,6], _
> [4,5,6]]
>
>
> diabolo:= simplicialComplex(vertexSeta(6::NNI),v2)$ASIMP
>
> homology diabolo
>
> -- [Z,Z*4,0]
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).
T
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).
BTW: why didn't you allow '0'? NNI=0,1,2,.
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.
I can see the
Martin Baker wrote"
>
> I guess I could send you some patches and see if you accept them, but it
> seems more efficient to discuss the options first and then I could write
> a patch for the option which you and others on this list think is best.
>
> So, assuming that is acceptable, here is the
Waldek,
Thank you for including the algebraic topology in 1.3.0 despite some
remaining issues.
I thought the best way to tackle those issues is to look at them, one at
a time, then try to work out a separate patch for each one.
I guess I could send you some patches and see if you accept the
17 matches
Mail list logo