[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] RE: Automation & algebra lattice
From: |
Weiss, Juergen |
Subject: |
RE: [Axiom-developer] RE: Automation & algebra lattice |
Date: |
Mon, 25 Aug 2003 10:46:46 +0200 |
Some domains may be preloaded at compile time of
the interpsys executable. To get reliable dependencies,
you should generate an interpsys without preloaded
algebra modules.
Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
+49(6131)39-26407
> -----Original Message-----
> From: root [mailto:address@hidden
> Sent: Monday, August 25, 2003 3:57 AM
> To: address@hidden
> Cc: address@hidden; address@hidden
> Subject: Re: [Axiom-developer] RE: Automation & algebra lattice
>
>
> well, several comments.
>
> perhaps if they made aisee open source we could fix the bugs.
>
> the difference between the makefile lattice and the full graph
> can be discovered by compiling the bootstrap domains as spad
> files (use notangle to extract the spad code, not the bootstrap
> code). Since you already have a running axiom with running algebra
> the bootstrap domains should compile cleanly. Save the console
> file from each compile, collect all of the Loading messages,
> strip out their domains, and find out where the bootstrap files
> occur in the lattice. In particular, find out where they occur
> without the bootstrap files. Once you've successfully classified
> the bootstrap domains you no longer need the bootstrap layer of
> the lattice (and, in fact, it shouldn't be there any longer since
> each domain in the bootstrap appears elsewhere in the graph).
>
> as to the "two paper lattice layout algorithm" I mentioned earlier:
> there is a subtle case that happens when you try to place two files
> at the same lattice level in the plane. don't know if I can explain
> this without pictures. suppose C depends on A and B. supposed D
> depends on A and B. if you start the process and put A and B on the
> bottom line at the same level you see:
>
>
> A B
>
> then you add C
>
> C -- layer 1 line
> / \
> / \
> / \
> A B -- layer 0 line
>
> Now if you add D at the same "height" as C it can appear to the left
> of C or the right of C.
>
> D C -- layer 1 line
> / \
> / \
> / \
> A B -- layer 0 line
>
>
> In either case when you try to link D with A and B you are forced to
> have a pair of lines that cross. However, if the same "height" is an
> area rather than a line you can add "slightly" above C:
>
>
> D --
> > layer 1 "area"
> C --
> / \
> / \
> / \
> A B -- layer 0 line
>
> and now it is possible to draw non-intersecting lines from D
> to A and B.
> So the problem gets more complex if you allow an "area" for laying out
> a single lattice level.
>
> Tim
>
>
>
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-developer
>