[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Multiset Hyperdoc examples page (was : Re: [Axiom-developer] Graph theor
From: |
Vanuxem Grégory |
Subject: |
Multiset Hyperdoc examples page (was : Re: [Axiom-developer] Graph theory) |
Date: |
Sun, 12 Nov 2006 17:34:03 +0100 |
Le dimanche 12 novembre 2006 à 15:22 +0100, Ralf Hemmecke a écrit :
> > For example, is an Axiom set, i.e. a member of the domain Set, a
> > data structure or a mathematical structure? Should we call the
> > domain Set a mathematical structure or only the category SetCategory
> > to which it belongs? And of course not everything that we would
> > like to call a set in Axiom is finite.
>
> Actually, "Set" is a bad choice for the domain of finite sets that all
> have the same type of elements. It should at least be called
> "FiniteSet". But then, would make "Set" as a _domain_ in the sense of
> mathematics be an interesting domain at all?
I played a little with this and reread aggcat which contains the
aggregate categories used in src/algebra. I displayed in Hyperdoc
Multiset and clicked on the example link (I wanted to know the "users"
of Multiset thanks to Waldek for its patch/remark), the interpreter
returned "Unknown page: MultisetXmpPage". This page seems to exist,
MSET.[p]ht contain some of what I think are examples.
Any idea why this page is not found ? Some other questions, is ph.awk
available somewhere, same thing for the sources of theses files, are
they available somewhere ? What is the difference between a .ht file and
a .pht file ?
A remark, my version of Axiom is not installed, it's just built, so
maybe this bug ("Unknown page: MultisetXmpPage") is specific to me. I
wanted to use the Debian version but encountered another bug ("string
something").
Greg
- [Axiom-developer] LANL NetworkX and algebra dependency graph, (continued)
- [Axiom-developer] LANL NetworkX and algebra dependency graph, Page, Bill, 2006/11/08
- Re: [Axiom-developer] LANL NetworkX and algebra dependency graph, Gabriel Dos Reis, 2006/11/08
- Re: [Axiom-developer] LANL NetworkX and algebra dependency graph, Martin Rubey, 2006/11/09
- RE: [Axiom-developer] LANL NetworkX and algebra dependency graph, Bill Page, 2006/11/09
- Re: [Axiom-developer] LANL NetworkX and algebra dependency graph, Ralf Hemmecke, 2006/11/09
- Re: [Axiom-developer] Graph theory, Martin Rubey, 2006/11/09
- RE: [Axiom-developer] Graph theory, Bill Page, 2006/11/10
- data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Ralf Hemmecke, 2006/11/11
- Re: data structure vs. mathematical structure (was: [Axiom-developer] Graph theory), Gabriel Dos Reis, 2006/11/11
- Re: [Axiom-developer] Graph theory, Ralf Hemmecke, 2006/11/12
- Multiset Hyperdoc examples page (was : Re: [Axiom-developer] Graph theory),
Vanuxem Grégory <=
- Re: Multiset Hyperdoc examples page (was : Re: [Axiom-developer] Graph theory), Waldek Hebisch, 2006/11/12
- Re: Multiset Hyperdoc examples page (was : Re: [Axiom-developer] Graph theory), Vanuxem Grégory, 2006/11/12