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 as
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
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]
> 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 arra
> So we should make a difference between O(1) indexing
> and O(n) indexing.
Yes. And ich somehow tend to do this similarly like noZeroDivisors.
http://fricas.github.io/api/noZeroDivisors.html
It's simply a category that exports nothing else than its own name.
The question, however, is whether we
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
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
ListAggrega
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 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
Ralf,
I notice that https://fricas.github.io/ has not been updated to 1.3.0.
I guess that must mean its not automatically generated?
Anyway I find the site useful and hope you get a chance to update it.
Martin B.
--
You received this message because you are subscribed to the Google Groups "Fr
> 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 be
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.
> 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
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 string
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 Tab
>
> > IndexedList is useful if somebody wants to port code which
> > uses differernt indexing.
>
> My point is, for List, one should not use index to get its element,
> because it's O(n) to do index.
Indexing on list has it good uses and we should not forbid
it because abuse may lead to slow pro
> 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
>
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
18 matches
Mail list logo