(12) -> solve((x^3+x-1)::Polynomial(FiniteField(3,2)))
(12) [x = 2, x = 2 %A + 2, x = %A + 2]
Type: List(Equation(Fraction(Polynomial(FiniteField(3,2)
(13) -> PF ==> Polynomial(FiniteField(3,2))
Type: Void
(15) ->
> solve(impedance = 1 / (2 * %pi * frequency * capacitance))
>
>
> I get result:
>
> 1
>(3) [capacitance= --]
> 106%pi
>
> Can you please tell, how can I get result as floating point value
> instead ?
(12) -> res := solve(impedance =
Can also be found here...
http://physics.bu.edu/~youssef/homepage/talks/categories/categories.html
This seems to be an article related to these slides.
http://atlas.bu.edu/~youssef/papers/math/aldor/aldor.pdf
I remember that Saul Youssef gave me access to his code, which I made
compile with
> On Fri, Jul 20, 2018 at 11:54 AM, My Name wrote:
>
>> P.S.
>>
>> Axiom wants me to read the biographies of its developers: The developers'
>> biographies are the centerpiece of the documentation. Stephen Wolfram has
>> earned his reputation of being egotistical, but at least his product sums
On 08/06/2016 01:28 PM, Tim Daly wrote:
> Methinks I mis-understood your DAG suggestion.
>
> Are you suggesting that the source code is in one DAG
> (src/doc/build/etc) and that bugs are in a parallel DAG?
More or less yes. I think it is a bit like when you document a project
on github.
On 08/06/2016 02:51 AM, Tim Daly wrote:
> Fixed bugs seem uninteresting. Several things failed on my car, for
> instance, that were fixed. There is rarely the need to revisit
> failures, except possibly in regression tests, like brakes :-)
I don't understand your comment. You are in favour of
On 12/16/2014 09:34 AM, d...@axiom-developer.org wrote:
What does this have to do with Axiom?
License discussions arise from time to time. We have a long email
history in Axiom discussing licensing.
OK. ;-)
This is the first court case involving the GPL that has not (yet)
settled out of
For the browser based frontend, it may be worthwhile to look into the
Jupyter project.
https://groups.google.com/d/msg/fricas-devel/WgMV4uGgqXM/adKDWBU_32MJ
I have that running locally.
Probably needs improvement (especially direct zeroqm connection instead
of doing it over pexpect), but
On 10/21/2014 11:05 PM, William Sit wrote:
I don't think Axiom is that different, and the problem that Stream
cannot look inside the parameter f is not because Axiom is
compiled. Rather it is the nature that f is passed as a function,
which by definition, has a source domain and a target
On 10/23/2014 10:49 AM, d...@axiom-developer.org wrote:
Axiom does keep the information you're looking for.
(1) - f(x) == 3*x^2+5
Type: Void
(2) - )history )show 1
[1] f(x) == 3*x^2+5
Yes. But as William already said, it's not exported by
which gives excellent results. Pari uses
\[ |B_n| = \frac{2n!}{(2\pi)^n}\zeta(n) \]
with floats but you have to completely control the precision.
I don't know exactly, but I'd bet that Sage builds on flint2 for the
computation of Bernoulli (implemented (if I am not wrong) by Fredrik
On 10/09/2014 10:21 AM, William Sit wrote:
Shasta has a Maple interface too.
http://www-sop.inria.fr/cafe/Manuel.Bronstein/sumit/shastadoc/node9.html
Why interface to Maple if Shasta source code is free?
https://gforge.inria.fr/projects/bronstein-codes/
It would probably be a bit of work to
On 10/08/2014 09:31 PM, William Sit wrote:
Didn't Schneider implemented the algorithm in Mathematica around 2000?
http://www.emis.de/journals/SLC/wpapers/s43schneider.pdf
Probably more of the theory can be found in his thesis.
On 09/09/2014 04:03 PM, Waldek Hebisch wrote:
Thanks. However, I have a compilable version for FriCAS.
Huh? Where?
I have waited to have clear copyright situation. Currently FriCAS is
BSD licenced while IIRC the CAD pacakge is GPL.
GPL? What are your sources for this claim?
Axiom is BSD
On 09/08/2014 05:36 AM, d...@axiom-developer.org wrote:
Waldek,
Here is Renaud's CAD package for your new release.
Tim
Thank you, Tim. Now you can no longer claim that you don't care for
FriCAS. ;-)
Anyway, I was already considering to prepare a patch for CAD.
Waldek, if you don't beat me
Hi Tim,
Thank Renaud. He wrote it.
I know. And of course, credit also goes to him, but you are going
through the email archive and dig out important things so that they are
not forgotten. At least *I* appreciate that.
I have had only two lasting frustrations with FriCAS.
My first
On 09/08/2014 02:38 PM, Renaud Rioboo wrote:
I mailed Tim the dvi for my thesiis but this is a very old document
which does not really explain the package and it is written in French.
The main results of my thesis were about symbolic integration and real
algebraic numbers. There is no new
On 07/07/2014 10:50 PM, d...@axiom-developer.org wrote:
Ralf,
This was probably a latex macro for
\[ a \mathrel{\mathop{\rightleftarrows}^{\mathrm{over}}_{\mathrm{under}}} b\]
which uses the amssymb package to create
over
a - b
On 07/07/2014 11:29 PM, Eugene Surowitz wrote:
Actually it sort of looks just plain wrong.
I can neither agree nor disagree when there is no specification. ;-)
And in the interpreter's output
\: looks appropriately used, for spacing.
If you mean the use of \: in
$$
OVERLABEL
\left(
{a,
Hi Tim, hi Eugene,
Ralf is doing great work and I hate to see such discouraging feedback.
It's not (yet) discouraging at all at the moment.
There were several point that made me think.
1) Where is TexFormat actually used?
2) Don't break efricas way of showing rendered latex via
On 06/29/2014 02:56 PM, Bill Page wrote:
Of course axiom-wiki uses the tex output extensively in a manner similar to
efricas.
Where can I patch the things? That are relevant to my changes?
In other words: where is it documented what mathaction actually does to
get the latex picture? If there is
On 06/29/2014 03:52 PM, u1204 wrote:
I haven't used the tex output from Axiom except to format
the book. It seemed to work for most cases except for some
long lines, if I remember correctly.
Oh... if you use the original awk files from NAGcdrom then my changes
will break everything. For the
On 06/29/2014 05:28 PM, d...@axiom-developer.org wrote:
It is possible to change the hyperlinking from using a box around the
link to something more common, like underlining. When rendered in a
small font the box obscures the text.
Probably possible. But, that is an issue which IMO is
On 06/10/2014 06:09 PM, d...@axiom-developer.org wrote:
The getdatabase information is already cached.
Although, my LISP knowledge is too weak, I've seen that (and not
understood). But that is not the place that I need the cache for.
The structure I am building does only use SExpression for
Also, in src/algebra/Makefile.pamphlet there are layerpic chunks
which encode the graphviz graph for all of the algebra. Extracting
layerpic will create the associated graphviz dot file.
Oh no... I don't want that. I want the result, but not code a .dot file
by hand. That's unmaintainable.
I
And rigor, I suppose? pdf format is not frozen, pdf viewers are not
bug-free. Remember an RMLL conference in Metz where the pdf file of a
colleague didn't display some text of the file. dvi format is very
simple and frozen, dvi viewers exist and can be supposed bug-free for
these reason. Same
On 06/04/2014 10:05 AM, d...@axiom-developer.org wrote:
I believe I've solved the dvipdfm problem.
For what reason is dvipdfm in the code anyway?
Sounds like Axiom uses tex-dvi-pdf instead of directly going with
pdflatex: .tex - .pdf. Or am I missing something?
Ralf
On 05/22/2014 11:21 AM, Gregg Reynolds wrote:
I can tell you I would rather maintain the four lines of C++ without
the largely useless commentary.
That's a simple AXIOM program, but I'm sure one can easily translate it
into any programming language.
foo(a: Integer, b: Integer): Integer ==
On 05/22/2014 03:29 PM, Fabio S. wrote:
I can tell you I would rather maintain the four lines of C++ without
the largely useless commentary.
That's a simple AXIOM program, but I'm sure one can easily translate it
into any programming language.
foo(a: Integer, b: Integer): Integer ==
if
I agree that those who choose color highlighting should choose colors
carefully. I would prefer background coloring only and not text
coloring, to avoid the precise problems you illustrated. Text emphasis
should be shown using different typefaces, and in rare situations, a
solid color like
Hi Tim,
it seems that the links to Online Book and Documentation are
currently broken on http://www.axiom-developer.org/axiom-website/.
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
On 03/01/2014 02:05 PM, Ralf Hemmecke wrote:
it seems that the links to Online Book and Documentation are
currently broken on http://www.axiom-developer.org/axiom-website/.
If you go onto the above site (this is probably not the site that one
would usually look for the documentation, I came
Hi,
Oh, fine... I'd really appreciate an improvement of fricas.el.
Where is your github repo?
Anyway, you have probably seen keywords.sh.
https://github.com/hemmecke/vim-panaxiom/tree/master/axiom
I'm sure that could be used in the build-process of any of the panaxioms
in order to generated
On 11/16/2013 04:46 PM, jiazhaoconga wrote:
Anyway, you have probably seen keywords.sh.
https://github.com/hemmecke/vim-panaxiom/tree/master/axiom
axiom-environment keeps a list of axiom symbols,
On 11/15/2013 03:10 PM, jiazhaoconga wrote:
I was going to make
http://axiom-wiki.newsynthesis.org/images/AxiomEmacsMode.pamphlet
functioning again, so I use '\begin{chunk}' to get it compiled by latex.
Maybe you should also take a look into
Please check if it works also for you.
I'll do that later.
But it seems that I'm not completely satisfied.
I had to separate axiom commands and axiom operations because the
output, in these cases, has a different layout. Moreover, with the
while+for cycle there was some little trouble, so I
Please check if it works also for you.
Wait. I realized that you have removed the \ and \ markers. Why?
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer
https://github.com/hemmecke/vim-panaxiom
It would also be nice, if you can incorporate the code from Johannes
Grabmeier (http://axiom-wiki.newsynthesis.org/AxiomInVim).
I've now added that file as fricas.vim to the repository.
I don't think it is a good idea:
- keywords are defined as a
Ralph
I still prefer correct spelling.
./keywords.sh axiom
Right.
If it is like so, then unluckly it doesn't work with axiom: it produces
four empty files.
:-(
Just replace the keywords function by:
keywords () {
echo )what $1 | $EXE $1.vim
}
And send my the 4 files.
Can you
Unknown option: -nosman
To use a specific workspace use, e.g.: spad -ws -nosman
Goodbye.
That's a funny and useless error message. ;-) But why does it say spad?
Well. Try the direct call to AXIOMsys as I've showed you in my last
mail. You probably must set the AXIOM variable right.
Ralf
On 11/11/2013 12:31 PM, Fabio S. wrote:
I have only one remark: I used axiom to generate
categories/domains/packages/operators names. Are them exactly the same
in fricas? I don't know this. From this point of view, maybe they can't
be completely interchangeable.
If I were you, I would simply
What about the attached script?
It's developed with FriCAS, but would that work with AXIOM?
For simplicity, instead of axDomain, my script outputs axdomains.
That's easily fixable by introducing a third parameter to the keywords
shell function.
The operations.vim doesn't quite match. There are
On 11/10/2013 01:42 PM, Fabio S. wrote:
http://www.vim.org/scripts/script.php?script_id=4765
Umm, maybe I don’t get what you did but there was a vim syntax
highlighting file http://axiom-wiki.newsynthesis.org/AxiomInVim
I didn't know of this file: after I asked on the list and I made the
On 10/28/2013 10:04 AM, Fabio S. wrote:
The problem with having Axiom automatically perform a
irreducibility check is that the check could be time consuming.
That's true.
Suppose you have a polynomial of high degree whose factorization
takes, say, a couple of minutes. With an automatic
So I started the interpreter and typed
)co filename.as
and got an error message saying
Only AXIOM source files with file extensions .as, .ao, .al, or .spad
can be compiled.
Can you tell me what I am doing wrong and what would need to be done to
get on old *.as file to compile
I think Tim would already be happy, if we modify the
div id=axiomlabel align=rightaxiom/div
that appears on every outputbox of
http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
(and every such box on such generated output) into fricas.
I don't care if fricas-devel get's more bug
Hello Waldek, hello Tim,
in FriCAS, I find a file src/hyper/pages/HEAP.ht with a header
% Copyright The Numerical Algorithms Group Limited 1992-94. All rights
reserved.
% !! DO NOT MODIFY THIS FILE BY HAND !! Created by ht.awk.
But there isn't any ht.awk in the repository.
I suppose this was
Hi Renaud,
there seems to be again some interests on cylindrical algebraic
decomposition and I wanted to recompile my CAD package which is
available at
http://rioboo.free.fr/CadPub/
Under which license do you distribute your package? Maybe it makes sense
to allow any of AXIOM, FriCAS, and
Hi Alfredo,
I am also looking forward to these pages being up again, or just have
the text content somewhere.
Well, I was trying to put them up, but the computer that I have
available for this virtual machine does not allow me to run 64bit VMs,
because the processor is not powerful enough.
Dear all,
since about two weeks now http://axiom-wiki.newsynthesis.org/
http://axiom-portal.newsynthesis.org/ are down. The virtual machine is
no longer hosted by a computer of the sage progject.
Looks like nobody is using these sites. There were no complaints so far.
Is there someone
I'm using FriCAS here, but AXIOM should most probably be the same.
Ralf
(1) - p := 7
(1) 7
Type:
PositiveInteger
(2) - P := PrimeField p
(2) PrimeField(7)
Type: Type
(3) - F := FiniteField(p,4)
(3) FiniteField(7,4)
Type:
On 01/20/2012 11:57 AM, Martin Baker wrote:
Does the code have to be physically in the same document as the documentation
to achieve the aims of literate programming?
It all depends on your tools. If there were a tool that puts every code
chunk into a separate file but while editing shows you
Hi Martin,
Better it is free and there is a little chance that some day someone
picks it up) than non-free and unmaintained.
I don't understand the technical issues and I agree that, in most cases,
choice is a good thing.
This is not about choice or fragmentation. Simply look at the error
Thank you, Tim,
it's always good to learn about the historic aspects.
I do not know what your particular problem is but I thought I'd give you
some history about the different images and why they exist.
Recently, Waldek removed BOOT in favour of SHOE. Then he switched to
compile the .boot
On 10/16/2011 09:14 PM, d...@axiom-developer.org wrote:
PS: Yes, I'm still hoping that one day Aldor becomes free. :-)
I think you over-estimate the value of a free Aldor and underestimate
the costs.
Sure, I do. ;-) But a non-free Aldor cannot serve the scientific
community at all. All CAS
The first question is what is the legend?
Page 1?
The sencod question is what kind of relation is depicted on those
diagrams?
Hmmm, that's really hard to decipher. I have no idea.
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Page 1?
Actually, page 1 seems to suggest that the diagrams have nothing to do
with inheritance but rather with build dependency (read the first
paragraph).
By the way, are those diagrams generated automatically, or they are
hand-made?
I'm not sure, but
Result: HyperDoc window is closed, the following line is printed out in
console:
System error:
The function MAKE-INPUT-FILENAME is undefined.
Sorry, I cannot help here since I'm actually a FriCAS user (I don't have
AXIOM installed) and in FriCAS I cannot reproduce this bug.
Ralf
Besides, in my opinion (it is only my opinion, but still it is opinion
of newcomer) HyperDoc documentaion is structured in non-standard fasion,
which makes it not so easy to use at the beginning.
It's not just your opinion. But there is currently not enough manpower
to treat every aspect of
I agree that the result is questionable, but what result do you expect?
This one is perhaps better
(0) - limit(sqrt(a^2+x), x=0)
+--+
| 2
(0) \|a
Type:
Union(OrderedCompletion(Expression(Integer)),...)
As long as nothing is known about a, that
make NOISE=
is quite long, of course. The last part in the screen is:
Maybe you should try
make NOISE= fabio.log
and upload that file somewhere. Maybe in a sandbox at
http://axiom-wiki.newsynthesis.org/FrontPage
or go to http://sites.google.com create a site and upload fabio.log.
Just
Hi Martin,
In response to
http://groups.google.com/group/fricas-devel/browse_thread/thread/4b341750a4e9301d?hl=en
Also what is the best way to create and write to a text file?
Have you looked at the File constructor?
If you can work on a more standard graphics format, I think that would
be
That's right. There is a new system compiler and it is called Aldor.
But the Aldor compiler from aldor.org cannot be distributed with any of
the PanAxiom systems (Axiom, OpenAxiom, FriCAS), because they are all
under a BSD-License and Aldor is only semi-free. Tightly integrating the
Aldor compiler
As for documentation, it helps to include a small paragraph that
contains enough so that we can find the rest in the literature.
Even something as simple as a link to Eric's mathworld or wikipedia
or a book reference would be a start. When I worked on the special
function E1 at least there was a
In the FriCAS install script I can read...
cd fricas
mkdir zips
cd zips
wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
Unfortunately, there seems to be a problem with the certificate.
Ralf
wget
Hello,
is there somewhere the hyperdoc stuff in HTML-form on the Web?
Unfortunately
http://axiom-developer.org/axiom-website/hyperdoc/man0page.xhtml
does not work.
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
The html form of the hyperdoc pages are in
http://axiom-developer.org/axiom-website/bookvol11.pdf
Hmm, I was specifically asking for a URL for domains, categories,
packages, functions etc. so that one could just cutpaste a URL into a
mailing-list posting.
I just thought that would be a
Ok,
but can you explain, why Axiom can compile test2 ?
the only difference is line
n(i,j) := fallingPower(i+j,j) in test0
and
n(i,j) := fallingPower(i,j) in test2
Well my guess is that because
fallingPower
Your error is in this line.
fallingPower (p,n) == p*fallingPower(p-1,n-1)
Axiom has no chance to figure out at compile time that n-1 is really of
type NNI as you required in your signature
fallingPower : (INT,NNI) - INT
So the best way to deal with that is to help Axiom.
The following
One of the fundamental problems with forking is that people can be
confused about the original projects and the forks. It is important
that this does not happen. The Axiom project is the original project.
OpenAxiom is a fork started around the September 2007 time frame.
Right and that is
What is the relationship between categories in Axiom and the
mathematical notion of a category?
None. It is much better to think of categories in Axiom as multisorted
algebras. Or to make it simpler, as a first approach you can think of it
as universal algebras.
A semigroup in Axiom looks
Dear Tim,
there is a new extension to the syntax to add examples. Essentially
any line that begins with ++E will be output as Example documentation
to the display command. So the coerce from Tuple now reads:
coerce: PrimitiveArray S - %
++ coerce(a) makes a tuple from primitive
Ideally the user just runs bugreport and everything gets sent to
us.
Note that people want to see what gets sent to a remote site. No system
nowadays sends any information of the user system automatically, but
rather pop up a window. See for example how bugs are sent in firefox.
Ralf
You could also move some checking time to the users machine. At the time
the documentation is rendered, the commands in ++E are executed and
compared internally with the ++R stuff.
Since execution might take some time, first show the ++R output and
spawn a background process that compares the
process to filter out the ++E/++R testing syntax lines automatically.
The only thing where I am not so sure about is whether ++E/++R is the
best syntax. As you may have seen in the ++ or +++ documentation, some
people dont put a space after the last + so you parser might get confused.
There is bug automation in firefox? Interesting. Perhaps I can use
the same mechanism in the new firefox frontend.
Well, you have to wait until your firefox crashes... which happened a
couple of times to me.
Ralf
___
Axiom-developer mailing list
Dear Peter, dear whoever knows about the following
In src_aldor3 you call $(MNT)/bin/AXIOMsys to generate the dependencies
and the .ap files for the Axiom domains.
Furthermore, I find ${OBJ}/bin/depsys in the Makefile stanza
$(aldor_lsp_o_files): $(ALDOR_MNT)/lib/%.o: $(ALDOR_INT)/lsp/%.lsp
Here is a fairly accurate updated schedule of the workshop prepared
by the organizer of the workshop Ralf Hemmecke:
http://portal.risc.uni-linz.ac.at/Members/hemmecke/aldoraxiom2008
I've moved everything to the official conference page.
http://axiom-wiki.newsynthesis.org/WorkShopRISC2008
To whoever knows about the history of the aldor-axiom connection,
Important in the build of the aldor-axiom connection are the files
axlit.as and axextend.as that can be found at
https://svn.origo.ethz.ch/algebraist/trunk/aldor/lib/libax0/
I roughly understand why they exist. What I don't
Hi Bertfried,
the source is at
https://svn.origo.ethz.ch/algebraist/trunk/aldor/aldor/tools/port/dosify
and more importantly at
https://svn.origo.ethz.ch/algebraist/trunk/aldor/aldor/tools/port/txt2txt.c
Maybe somebody knows how to undo the changes.
Perhaps you try unixify which should lie
The file xpoly.spad.pamphlet (LIECAT.spad) contains
LieAlgebra(R: CommutativeRing): Category == Module(R) with
--attributes
NullSquare
JacobiIdentity
...
but I don't see NullSquare or JacobiIdentity listed in
src/interp/daase.lisp.
Actually, I should ask: why is *attributes*
src/interp/ax.boot
contains the function
makeAxExportForm(filename, constructors) ==
$defaultFlag : local := false
$literals := []
axForms :=
[modemapToAx(modemap) for cname in constructors |
(modemap:=GETDATABASE(cname,'CONSTRUCTORMODEMAP)) and
(not cname
Hello Tim,
I tried to compile axiom SVN trunk -r 884 on a debian etch system.
The end of my compilation goes ...
6 making /home/hemmecke/software/axiom/obj/linux/graph/viewman/sselect.o
from /home/hemmecke/software/axiom/int/graph/viewman/sselect.c
1 linking
Is my problem related to
http://axiom-wiki.newsynthesis.org/306LibXpmAIsInUsrLibUnderUbuntu
?
Tim, is Axiom still using Mathaction as its issuetracker?
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
On 05/28/2008 08:58 PM, root wrote:
Is my problem related to
http://axiom-wiki.newsynthesis.org/306LibXpmAIsInUsrLibUnderUbuntu
Almost certainly. Where does libXpm.a appear in your system?
See
http://lists.gnu.org/archive/html/axiom-developer/2008-05/msg00090.html
Unfortunately, issue #306
On 05/28/2008 09:34 PM, root wrote:
Did you set your AXIOM variable as:
export AXIOM=(place)/axiom/mnt/debian
^^
No? Why should I?
I followed the readme. And I must admit that the line
export AXIOM=/spad/mnt/linuxwhich axiom to build
puzzled
I built the configure script because people insisted that everybody
types configure.
And that is somehow true.
Anyway, the readme should better explain what exactly I have to do for
my system. I am not a native english speaker. That line
export AXIOM=/spad/mnt/linuxwhich axiom to
+echo SYSNAME SYSTEM
+echo =
+echo redhat72 --- RedHat 7.2 linux
+echo redhat9 RedHat 9 linux
+echo debian - Debian linux
+echo opensuse --- OpenSuse linux
+echo ubuntu - Ubuntu linux
+echo fedora3 Fedora Core 3 linux
Martin,
please learn to make the life easier for others. You know the link. So
why not put it in the posting?
http://axiom-wiki.newsynthesis.org/AxiomEmacsMode
Ralf
On 05/16/2008 08:02 PM, Martin Rubey wrote:
Zach [EMAIL PROTECTED] writes:
Tim, please tell me that Firefox will not be the
I do not know what is the general opinion, but in my opinion all
operations like 'solve' should have a well-defined and fairly simple
relationship to other operations in the same domain. For example
something like the following should always be true:
eval(E,solve(E,...))
On 05/05/2008 05:46 AM, Bill Page wrote:
On Sun, May 4, 2008 at 10:23 PM, C Y wrote:
--- Bill Page [EMAIL PROTECTED] wrote:
I guess you need to be a little more explicit about the variables:
Ah. Thanks Bill. I wonder if this is the desired default behavior?
Cliff, I guess, you asked for
On 05/05/2008 04:03 PM, Bill Page wrote:
On Mon, May 5, 2008 at 3:43 AM, Ralf Hemmecke wrote:
...
Having types, Axiom should actually allow you to specify what you want.
R:=MPOLY([C1,D1,y1,x],Integer)
P:=MPOLY([y],R)
E1: P := x^2*D1^2+(y-y1)^2*C1^2 - C1^2*D1^2
solve(E1=0,y)@List(R
On 05/05/2008 06:57 PM, Bill Page wrote:
On Mon, May 5, 2008 at 11:48 AM, Ralf Hemmecke wrote:
On 05/05/2008 04:03 PM, Bill Page wrote:
On Mon, May 5, 2008 at 3:43 AM, Ralf Hemmecke wrote:
...
Having types, Axiom should actually allow you to specify what you want.
R:=MPOLY([C1,D1,y1,x
On 04/30/2008 02:10 PM, Martin Rubey wrote:
In my case, I consider x and y in fact as formal power series in t
themselves, and I think I also want that sqrt(x^2)=x.
Replace x by the formal power series in t having only the constant term -1.
Ralf
Hi William,
On 04/20/2008 05:29 PM, William Stein wrote:
On Sun, Apr 20, 2008 at 3:10 AM, Martin Rubey [EMAIL PROTECTED] wrote:
I don't have the guts to send this to a public mailing list. I probably
should. If you want to, you have my permission.
Alfredo Portes
On 04/03/2008 02:56 PM, Francois Maltey wrote:
factorial is very common for *my* use of CAS :
50% of numerical analysis, 50% of algebraic transformations.
And all? other Computer Algebra System uses ! for factorial.
I feel that ! is the standard function for factorial.
I remember a first play
On 02/29/2008 09:27 AM, Martin Rubey wrote:
make SQMATCAT inherit from MATCAT.
I am sure you don't want that.
We have
MatrixCategory(R,Row,Col): Category == Definition where
R : Ring
Row : FiniteLinearAggregate R
Col : FiniteLinearAggregate R
Definition ==
Hi Tim,
I know that documentation is one of the most important things for the
Axiom project, but your approach to fixing bugs is just strange.
Suppose you have software A which has very few documentation and it has
a bug B.
You can produce from that two systems A1 and A2.
A1: Fix the bug
About the next axiom workshop: Is there anything planned to coincide
with the upcoming ISSAC meeting (July 2008?) at Risc?
No, not coinciding. But there are plans to have a
Aldor Axiom Workshop 2008
during the RISC-Summer at July 24-26, i.e. right after ISSAC.
Ralf
Yes exactly, although I am not sure why we need both Cross and Record.
Elements of Record are mutable, elements of Cross are not.
Ralf
PS: Shouldn't this discussion go to axiom-developer instead of axiom-math?
___
Axiom-developer mailing list
1 - 100 of 868 matches
Mail list logo