On December 9, 2005 4:06 PM C Y wrote:
>
> --- Bill Page wrote:
>
> > I have just been waiting for the little extra time I would
> > need to key in the GraphViz specification for the graphs in
> > the endpaper.pamphlet file to see what kind of layout it will
> > produce automatically.
>
> Drool
Changes http://wiki.axiom-developer.org/PolyMake/diff
--
??changed:
-unbounded polyhedron associated to a finite metric space. See
-below for a "polyhedral map" of Jamaica.
unbounded polyhedron associated to a finite metric space.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED
Changes http://wiki.axiom-developer.org/PolyMake/diff
--
http://www.math.tu-berlin.de/polymake
Polymake is a (more and more versatile) tool for the algorithmic
treatment of convex polyhedra and finite simplicial complexes.
As one of its many new features polymake now also deals with
tight spans:
> Well if I could easily get access to parents/siblings/children from the .asy
> file in a some more attractive way for me, that would make me happy and would
> probably be the dead of current hyperdoc, since then hyperdoc(-similar) pages
> could be created in the following way
>
> .pamphlet (wit
Emil,
If you can find the SELinux people please tell them to start using
GCL as a test case for their ideas. Apparently they seem to believe
that there is no reason for self-modifying code, executable heap
objects, stack execution, dynamic load/store/link, etc.
We in the lisp community are findin
Greetings!
OK, here is what I believe now to be the case -- the SELinux option
allow_execmem, which is 'active' on the bad box, is causing the
problem. All is well if one takes the drastic action of
sudo /bin/sh -c "/usr/sbin/setenforce 0"
but will probably allso work if one changes
/etc/seli
--- Bill Page <[EMAIL PROTECTED]> wrote:
> We already have GraphViz on MathAction
>
> http://wiki.axiom-developer.org/GraphViz
>
> and there is an extension for LaTeX that processes GraphViz
> commands. There are apparently several ways to add hyperref-
> like links to these graphics in LaTeX bu
> I think programs that include more sophisticated graph layout
> algorithms combined with manual graph manipulation might make
> this possible. In Axiom the shear scale of the algebra graph
> with 1,300 nodes and about 20,000 edges is just too much for
> currently available software. But with a li
--- Bill Page <[EMAIL PROTECTED]> wrote:
> I think SVG is too general. We should use a graph description
> language such as the GraphViz dot format.
I agree SVG is not the way to go, but I have reservations about
depending on graphviz.
> > The second point is nearly impossible for a program.
>
On December 9, 2005 10:10 AM Ralf Hemmecke wrote:
> ...
> There are in fact two problems.
> 1) Get the graph right, ie, reflect the actual dom/cat/pgk in
>the library.
> 2) Show it in some form for humans.
>
> The first point can certainly be done automatically some day.
> There should just b
On December 9, 2005 12:29 PM Tim Daly (root) wrote:
> ...
> 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
A very helpful hint. ;-)
I don't think I start browsing through 196 files.
Ralf
root wrote:
the .asy files are intended to be used in the axiom interpreter.
the code to understand them is in the src/interp directory.
t
___
Axiom-developer mailing
I would have proposed just to write \adtype{AbelianSemiGroup} (sorry
that I borrowed the \adtype tag from ALLPROSE, but it is just a tag
after all). In the definition of \adtype one would have to take care
about the file in which AbelianSemiGroup is defined. That frees you from
changing anythin
the .asy files are intended to be used in the axiom interpreter.
the code to understand them is in the src/interp directory.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Have you ever tried
ar x libaxiom.al
aldor -fasy algcat.ao
You'll get a file algcat.asy which looks rather lispish to me. I wonder
if some of you (LISP programmers) could do a nice output from that.
In there is the whole source of the program as a syntax tree (and if
there were any ++ comments
--- root <[EMAIL PROTECTED]> wrote:
> CY,
>
> I'm on the Frink mailing list. Did you see this note?
> In particular, are you aware of the http reference?
>
> ..
>
> By the way, you shouldn't have to do *any* modification of
> many files containing normal mathematical notation to turn
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> >> Click the "Graph" at http://www.hemmecke.de/aldor/
> >
> > Unfortunately I don't have a fig viewer handy, but I'll try
> > to check it out later.
>
> Well, click on "poster" then. It's a 8 pages postscript that
> you could glue together.
Same
> > 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
>
Click the "Graph" at http://www.hemmecke.de/aldor/
Unfortunately I don't have a fig viewer handy, but I'll try to check it
out later.
Well, click on "poster" then. It's a 8 pages postscript that you could
glue together.
Ralf
___
Axiom-developer
> 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 p
whew
hey, it's open source. change it any way you'd like.
you have nothing to fear but the feedback :-)
> > i've hacked src/doc/endpaper.pamphlet to add hyperlinks.
> > most of the links go to catdef.spad.dvi because they are
> > categories that live there. i don't know how to implement
>
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> C Y wrote:
> > --- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
>
> > XYPic: Can create hyperlinked diagrams without requiring
> > postscript specific logic, but result renders slowly in
> > Acroread. Command syntax is complex to say the least.
> >
CY,
I'm on the Frink mailing list. Did you see this note?
In particular, are you aware of the http reference?
--- Start of forwarded message ---
To: [EMAIL PROTECTED]
Sender: [EMAIL PROTECTED]
Date: Fri, 09 Dec 2005 02:52:11 -0700
Subject: Re: [Frink] unit suggestion
..
By t
C Y wrote:
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
XYPic: Can create hyperlinked diagrams without requiring postscript
specific logic, but result renders slowly in Acroread. Command syntax
is complex to say the least. Does not have many packages written using
it.
My from the point of
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain 'SandBoxDistributedExpression' is
probably
??changed:
-)abb domain DEXPR DistributedExpressi
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain '[SandBox DistributedExpression]' is
probably
??changed:
-)abb domain DEXPR DistributedExpre
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> C Y wrote:
> > If pstricks can indeed do all that we want with fancy
> > linking and diagrams it might be a better target than
> > XYpic - there exist some fairly sophisticated graphing
> > routines for pstricks, and it would be fun to teach Axiom
--- Bill Page <[EMAIL PROTECTED]> wrote:
> At
>
> http://www.tug.org/applications/hyperref/manual.html
>
> it says we need to specify the 'dvips' option on the hyperref
> package, so I edited my version
>
> http://wiki.axiom-developer.org/book--main--1/Endpaper2
>
> of Tim's endpaper.pamphlet
C Y wrote:
If pstricks can indeed do all that we want with fancy linking and
diagrams it might be a better target than XYpic - there exist some
fairly sophisticated graphing routines for pstricks, and it would be
fun to teach Axiom to output (say) pst-3dplot TeX instead of an image
for plotting.
root wrote:
> i've hacked src/doc/endpaper.pamphlet to add hyperlinks.
> most of the links go to catdef.spad.dvi because they are
> categories that live there. i don't know how to implement
> #tags in latex yet.
I just had a quick look at your file. It's cool that hyperref can also
refer to dvi
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain '[SandBox DistributedExpression]' is
probably
??changed:
-)abb domain DEXPR DistributedExpre
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain 'SandBoxDistributedExpression' is
probably
??changed:
-)abb domain DEXPR DistributedExpressi
Changes http://wiki.axiom-developer.org/237FailsToDisplayProperTeX/diff
--
My TeX does not complain (and displays it correctly)
\begin{axiom}
solve([x^2 + y^2 - 2*(ax*x + ay*y) = l1, x^2 + y^2 - 2*(cx*x + cy*y) =
l2],[x,y])
\end{axiom}
Martin
--
forwarded from http://wiki.axiom-developer.org/[EM
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
??changed:
-The "deeper" reason why there is no domain 'DistributedExpression' is probably
The "deeper" reason why there is no domain 'SandBoxDistributedExpression' is
probably
??changed:
-)abb domain DEXPR DistributedExpressi
Changes http://wiki.axiom-developer.org/DistributedExpression/diff
--
This page was renamed from SandBox Distributed Expression to
DistributedExpression.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing l
Changes http://wiki.axiom-developer.org/AxiomProblems/diff
--
++added:
- changing "how expressions are displayed":AxiomOutputFormatting
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-develop
Changes http://wiki.axiom-developer.org/AxiomOutputFormatting/diff
--
You have to say
\begin{axiom}
1/2 - exp(-t) :: EXPR FRAC INT
\end{axiom}
since you have an expression here, not a polynomial.
In general, to modify the way Axiom outputs your expressions, you have to write
a wrapper domain tha
37 matches
Mail list logo
