Re: [Axiom-developer] hyperlinked algebra

[root]

> > actually the latest "grand scheme" is related to Bill's question about
> > parents/children. we could certainly hack up a routine in lisp or
> > aldor that, given a domain, could spit out the parent/siblings/children 
> > and then dynamically create the file containing the graph. thus a user 
> > could point at a domain and ask for the graph.
> 
> oh, and the dynamic scheme can do much more than the static scheme
> since the family graph of 
>    POLY(FRAC(INT))
> is wildly different from
>    POLY(COMPLEX(FLOAT))
> 

and the first step of that is to design a package Family
which takes a fully developed domain and returns the family
tree. Along with functions 

  parents()   -> List(Type)
  siblings()  -> List(Type)
  childred()  -> List(Type)
  geneology() -> Graph(Type)
  layout()    -> List(List(GraphNode))

then we can test it.

t