[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Graph theory
From: |
Bill Page |
Subject: |
RE: [Axiom-developer] Graph theory |
Date: |
Fri, 10 Nov 2006 22:00:37 -0500 |
On November 9, 2006 10:23 AM Martin Rubey wrote:
>
> I'll write something up as soon as possible. But this won't be
> before November~19, since I'm under pressure until then.
Ok.
>
> However, I talked a bit with Ralf about this before the axiom
> workshop, and then I think he was more interested in graphs as
> datastructures, which doesn't interest me at all.
>
> I'm into Matroids, Simplicial Complexes, Graphs, Digraphs,
> Polytopes etc. I have thought only about Categories, not
> implementations.
I think one of the neat things about Axiom is that it is usually
not necessary or even desirable to make a distinction between
data structures and mathematical structures. Data structures are
just another kind of "mathematical" object.
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.
Essentially the only requirement of SetCategory is that the domain
has equality and inequality.
I think a Graph in Axiom has to be something nearly as fundamental
as a Set.
- Re: [Axiom-developer] GCL loader option, (continued)
- Re: [Axiom-developer] GCL loader option, Waldek Hebisch, 2006/11/08
- Re: [Axiom-developer] GCL loader option, Gabriel Dos Reis, 2006/11/08
- [Axiom-developer] porting axiom, Page, Bill, 2006/11/08
- Re: [Axiom-developer] porting axiom, Gabriel Dos Reis, 2006/11/08
- [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 <=
- 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, 2006/11/12
- 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