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
> Indexing on list has it good uses and we should not forbid
> it because abuse may lead to slow programs.
We can still have "elt" from elsewhere, like EltableAggregate.
In C++, for std::list, they have "advance", instead of "ls[n]".
> Well, I against tying complexity to types. Types will not
>
oldk1331 wrote:
>
> Should TableAggregate be finiteAggregate?
>
> Most domains export TableAggregate also export
> finiteAggregate, except for GeneralSparseTable,
> but that should export finiteAggregate too.
>
> I don't think there's infinite table, just like there's
> no infinite list. So
Martin Baker wrote:
>
> On 18/09/16 18:41, Waldek Hebisch wrote:
> >
> > I got caught by Spad weirdness. In Spad
> >
> >"string"::OutputForm
> >
> > is the same as
> >
> >"string"@OutputForm
> >
> > which gives the same result as
> >
> >message("string")
> >
> > that is without
> 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
> I notice that https://fricas.github.io/ has not been updated to 1.3.0.
Yes, I know. :-(
> I guess that must mean its not automatically generated?
Well, it actually is, but it's not automatic to upload it to github.
I'll try to manage hopefully this week.
Ralf
--
You received this message
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
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" --
Should TableAggregate be finiteAggregate?
Most domains export TableAggregate also export
finiteAggregate, except for GeneralSparseTable,
but that should export finiteAggregate too.
I don't think there's infinite table, just like there's
no infinite list. So TableAggregate should like
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
>
> I would even suggest we do the same, domains that export
> IndexedAggregate must have constant time elt(%, n).
More arguments to support this change:
Currently LinearAggregate has IndexedAggregate, and
LinearAggregate exports leftTrim/rightTrim which are
implemented using indexing. So for
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).
On 18/09/16 18:41, Waldek Hebisch wrote:
Martin Baker wrote:
Thanks for applying previous patch.
When you did this you made some changes and one of these changes
introduced a bug, so here is a fix for this bug:
I got caught by Spad weirdness. In Spad
"string"::OutputForm
is the same
14 matches
Mail list logo
