[Axiom-developer] Re: axiom, browsers, and crystal

2005-06-20 Thread Bob McElrath
[EMAIL PROTECTED] [EMAIL PROTECTED] wrote: > i am trying to avoid 1.2 million lines of javascript with browser > dependent ifdefs. we already have that problem with C. instead of > trying to work "on top" of the browser, which limits our abilities > to the current available set, i'm trying to think

[Axiom-developer] axiom, browsers, and crystal

2005-06-20 Thread daly
i'm currently working on making the ISSAC Proceeding CD so i can't check out your references at the moment but i will as soon as i can. i did want to respond to your comment that you didn't think discussion was useful and that we need running code i think the focus on running code is great a

Re: [Axiom-developer] RE: axiom, browsers, and crystal

2005-06-20 Thread C Y
--- Bill Page <[EMAIL PROTECTED]> wrote: > On June 20, 2005 7:35 PM Tim Daly wrote: > > > we're trying to build a research science platform, not a > > display GUI object. we'd like the GUI piece of the system to > > have a clean, programmable semantics so we can reason about > > user actions. we w

[Axiom-developer] axiom, browsers, and crystal

2005-06-20 Thread daly
we're debating, not disagreeing. although you're clearly wrong :-) i agree standards are a *good thing*(TM) but standards come after practice, not before. when they come before practice they are generally large, expensive, and overbuilt (e.g. XML) i agree that browsers are a good thing. they are

Re: [Axiom-developer] axiom, browsers, and crystal

2005-06-20 Thread Bob McElrath
[EMAIL PROTECTED] [EMAIL PROTECTED] wrote: > * the DOM model is not really math-aware It doesn't have to be. All it needs to have is nodes that contain expressions, figures, or input. It is totally appropriate to encapsulate these. The DOM is for the presentation end, not calculation. > * th

[Axiom-developer] RE: axiom, browsers, and crystal

2005-06-20 Thread Bill Page
On June 20, 2005 7:35 PM Tim Daly wrote: > ... > some sort of browser-like capabilities are assumed. Yes, most certainly. As usual, I find I agree with many things you say below, but disagree strong on some specific points. > the limitations we have now seems to be things like: > > * the syntax

[Axiom-developer] axiom, browsers, and crystal

2005-06-20 Thread daly
taking this discussion away from the short term summer of code so we can think about the bigger issues. in the long term (the 30 year horizon) it seems clear that some sort of browser-like capabilities are assumed. the limitations we have now seems to be things like: * the syntax of the web

[Axiom-developer] [FrontPage] [FrontPage] Axiom problems

2005-06-20 Thread Bill Page
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff -- Dear Unknown, (You should set preferences to identify yourself.) > Anyone knows what's up? I don't know what was causing the problem exactly. But the last comment posted to AxiomProblems definitely was causing the server t

[Axiom-developer] [AxiomProblems] See issue #178

2005-06-20 Thread billpage
Changes http://page.axiom-developer.org/zope/mathaction/AxiomProblems/diff -- This problem has been documented as #178 Linear Agebra problem -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] ___ Axiom-developer mailing

[Axiom-developer] [#178 Linear Agebra problem] (new)

2005-06-20 Thread billpage
Changes http://page.axiom-developer.org/zope/mathaction/178LinearAgebraProblem/diff -- This doesn't work: \begin{axiom} L := [ A = 2*P1+P2, B = 2*P2+P1, C = 2*Q1+Q2, D = 2*Q2+Q1] solve(L, [P1,P2]) \end{axiom} But it should, observe this: \begin{axiom} SA:=solve([L.1,L.2],[P1,P2]) SB:=solve([L.3,L.

[Axiom-developer] [#177 expand (cos (2*x))] (new)

2005-06-20 Thread anonymous
Changes http://page.axiom-developer.org/zope/mathaction/177ExpandCos2X/diff -- expand (cos (x+y)) and expand (cos (x+y+z)) are right. Is it possible to expand cos (2*x) = 2*cos(x)^2-1 or 1 - 2*sin(x)^2 -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] __

[Axiom-developer] [FrontPage] Axiom problems

2005-06-20 Thread unknown
Changes http://page.axiom-developer.org/zope/mathaction/FrontPage/diff -- Few days ago I posted a problem to "Axiom problems" page. Since then, I cannot enter that page to check what is the status of this problem! Anytime I try to enter "Axiom problems" page, the server seems to hangup (at least

[Axiom-developer] compiling axiom...

2005-06-20 Thread daly
Ralf, The message The root module <<*>> was not defined just means that there was no code in the file. I'll fix it. t ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] [#176 Factored Polynomials aren't differentiated correctly] (new)

2005-06-20 Thread anonymous
Changes http://page.axiom-developer.org/zope/mathaction/176FactoredPolynomialsArentDifferentiatedCorrectly/diff -- \begin{axiom} p := -x*y^2+x*y+x^3-x^2 D(factor(p),x) D(p,x) \end{axiom} Note that the factorization is correct. It's the D(.,x) that misses the sign. -- forwarded from http://page.ax

[Axiom-developer] [#176 Factored Polynomials aren't differentiated correctly] Forgot to categorize...

2005-06-20 Thread unknown
Changes http://page.axiom-developer.org/zope/mathaction/176FactoredPolynomialsArentDifferentiatedCorrectly/diff -- Category: Axiom Compiler => Axiom Mathematics Severity: normal => serious -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]

[Axiom-developer] compiling axiom ... The root module <<*>> was not defined.

2005-06-20 Thread Ralf Hemmecke
There seems to be a little error in the documentation (see below) I hope that does not turn into some missing documentation somewhere. I found this by accident and wondered why the compilation process did not stop when there is obviously something not as it should be. Ralf --- snip --- 1 makin

[Axiom-developer] Re: [Axiom-math] (no subject)

2005-06-20 Thread Ralf Hemmecke
In axiom you need to use records: foo(a: Integer, b: Integer): Record(s: String, r:Integer) == ("sum", a+b); Oh, interesting. I would have thought that your line gives a syntax error. At least according to the axiom book pp 141 (Section 2.4) one should write foo(a:Integer,b:Integer):Record(

[Axiom-developer] Re: [Axiom-math] (no subject)

2005-06-20 Thread Martin Rubey
Ralf Hemmecke writes: > > > (7) I tried using a list to return multiple variables from a > > > function. However, this turns out to be of type any. These variables > > > can be displayed but not used in operations any further. This means > > > that you have to remember the types of each va

[Axiom-developer] Re: [Axiom-math] (no subject)

2005-06-20 Thread Ralf Hemmecke
> (7) I tried using a list to return multiple variables from a > function. However, this turns out to be of type any. These variables can be > displayed but not used in operations any further. This means that you have > to remember the types of each variable in the list. Then, manually in the

[Axiom-developer] [Axiom Library] math 1

2005-06-20 Thread unknown
Changes http://page.axiom-developer.org/zope/mathaction/AxiomLibrary/diff -- college algebra -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.no