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 g
On Thu, Jun 4, 2009 at 10:47 PM, Gabriel Dos Reis wrote:
> ...
> I see OpenAxiom as aiming at computational mathematics as opposed
> to just being specialized for algebraic computations only.
>
+1 I am in full agreement with your general goals and methods.
Regards,
Bill Page.
_
Bill Page writes:
| > | On Thu, Jun 4, 2009 at 4:43 PM, Gabriel Dos Reis wrote:
| > | > ...
| > | > I would reserve the use of InputForm for syntatic canonical
| > | > forms of mathematical objects.
| > | >
| > | Bill Page wrote:
| > | Currently InputForm values can arise both from parsing of inp
> | On Thu, Jun 4, 2009 at 4:43 PM, Gabriel Dos Reis wrote:
> | > ...
> | > I would reserve the use of InputForm for syntatic canonical
> | > forms of mathematical objects.
> | >
> | Bill Page wrote:
> | Currently InputForm values can arise both from parsing of input
> | strings and
>
On Thu, Jun
Bill Page writes:
| On Thu, Jun 4, 2009 at 4:43 PM, Gabriel Dos Reis wrote:
| > ...
| > I would reserve the use of InputForm for syntatic canonical
| > forms of mathematical objects.
| >
|
| Currently InputForm values can arise both from parsing of input
| strings and
That is the job of Syntax
On Thu, Jun 4, 2009 at 4:43 PM, Gabriel Dos Reis wrote:
> ...
> I would reserve the use of InputForm for syntatic canonical
> forms of mathematical objects.
>
Currently InputForm values can arise both from parsing of input
strings and from coercion of values from other domains. Only the
latter are
Tim Daly writes:
| I've been reading this thread. It seems to me that what people are seeking
| is a symbolic algebra rather than a computer algebra system. The distinction
| is that a symbolic system manipulates input as parse trees in
| syntactic form.
| A computer algebra system manipulates in
Tim Daly writes:
| Gabriel Dos Reis wrote:
| > Tim Daly writes:
| >
| > | I've been reading this thread. It seems to me that what people are seeking
| > | is a symbolic algebra rather than a computer algebra system. The
distinction
| > | is that a symbolic system manipulates input as parse tree
I've been reading this thread. It seems to me that what people are seeking
is a symbolic algebra rather than a computer algebra system. The distinction
is that a symbolic system manipulates input as parse trees in syntactic
form.
A computer algebra system manipulates input as semantic forms. It
Gabriel Dos Reis wrote:
Tim Daly writes:
| I've been reading this thread. It seems to me that what people are seeking
| is a symbolic algebra rather than a computer algebra system. The distinction
| is that a symbolic system manipulates input as parse trees in
| syntactic form.
| A computer alg
Francois Maltey writes:
> Hello,
>
> I have installed an new ubuntu 9.04 and try to install easily an axiom.
> In my school we'll very slowly migrate from MS-Win to Linux-Ubuntu for
> mathematics computations.
>
> I only find THE axiom, but this version is this one, and I get an
> error !
Fri
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
and
On Sun, Jun 22, 2008 at 10:29 PM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
>
> 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/algeb
Arthur Ralfs <[EMAIL PROTECTED]> writes:
| Tim, Waldek, Gaby,
|
| It should be clear by now that I am only interested in working
| with software which is completely free in the sense of Stallman.
| For this reason I have not touched aldor.
|
| This recent quote from Tim has me concerned:
|
|
Ralf Hemmecke wrote:
>
> src/interp/ax.boot
>
> contains the function
>
> makeAxExportForm(filename, constructors) ==
>
> PS: Why is there a parameter "filename" if it is not used in the
> function? (Well I don't understand boot, so that may be a stupid question.)
>
Above makeAxExportForm i
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> 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.
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
__
Dear William, Dear Waldek,
many thanks for your help!
I guess, the real problem is that
(71) -> ex :=
((-2*t*x*y)+(-2*t*x^2))/(y*(t^2*y^4+((-4*t^2)+(-2*t))*x*y^3+((-6*t^2)+1)*x^2*y^2+((-4*t^2)+(-2*t))*x^3*y+t^2*x^4)^(1/2)+t*y^3+(-x*y^2)+t*x^2*y)
Martin Rubey wrote:
>
> I'd be very grateful if somebody could look at the input file below. (Don't be
> afraid, most of the definitions are not needed)
>
> I would have thought that bug() would yield twice the same thing. It may be a
> mistake on my side, of course, but note that
>
> * axiom d
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
> How does the fricas/axiom source code layout work?
> Is it all written in pamphlets that lisp is generated from?
There is a bit of a philosophical split between Axiom and
Fricas about source code layout and it is fairly fundamental.
Axiom has everything in pamphlet files and is gradually movin
Martin Rubey <[EMAIL PROTECTED]> writes:
> b) isn't the domain vector constant for domains and packages? I guess it
> won't
>be constant for default domains, right? I believe it should be that way,
>because there is no way that a function definition in a domain or package
>can be ov
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> Well, what you see here? I see function calls :) All Spad function calls
> crossing constructor boundary are indirect function calls, which basically
> gives Lisp compiler almost no chance to optimize. Some functions are
> inlined, in such case Lisp c
On 2/29/08, Ralf Hemmecke wrote:
>
> 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 : Fin
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> On 02/29/2008 09:27 AM, Martin Rubey wrote:
> > make SQMATCAT inherit from MATCAT.
>
> I am sure you don't want that.
I'm not so sure...
> We have
>
> MatrixCategory(R,Row,Col): Category == Definition where
>R : Ring
>Row : FiniteLinearAgg
I have just added a new bug status "fixed somewhere".
Please use "fix proposed" and "fixed somewhere" according to the following
rules:
> 1) fix proposed
>
>would be used if a patch is attached, but it hasn't been fixed in one of
> the
>systems
>
> 2) fixed somewhere
>
>would be
On Fri, 25 Jan 2008, Martin Rubey wrote:
|
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > Hi,
| >
| > I would suggest to use `fix proposed' on the Axiom Wiki only when
| > a patch is effectly proposed as an attachment in the tracker, as
| > opposed to the mere fact that the bug is fixed
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Hi,
>
> I would suggest to use `fix proposed' on the Axiom Wiki only when
> a patch is effectly proposed as an attachment in the tracker, as
> opposed to the mere fact that the bug is fixed in an Axiom flavor.
> That would help reduce confusion.
O
On Fri, 25 Jan 2008, Martin Rubey wrote:
|
| Dear bug masters :-),
|
| so far I made all (well, mostly algebra) bugs that are fixed in FriCAS "fix
| proposed" on IssueTracker. The reason being that I would like to see at a
| glance which bugs are open, and with the philosophy that everybody cou
C Y <[EMAIL PROTECTED]> writes:
| --- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
|
| > | What about Scratchpad? If I've got the history right all of these
| > | systems might be considered descendants of Scratchpad, and I don't
| > | think there is any longer a product called Scratchpad to be
|
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> | What about Scratchpad? If I've got the history right all of these
> | systems might be considered descendants of Scratchpad, and I don't
> | think there is any longer a product called Scratchpad to be
> | confused with them? Or perhaps Scratchp
On Thu, 20 Dec 2007, C Y wrote:
|
| Martin Rubey wrote:
|
| >> If you'd like to propose a meta-name that is not Axiom
| >
| > Please propose such a name. I cannot. For me, the meta name is Axiom, and
| > there happens to be a sub-project bearing the same name. But that's my
| > personal and
Martin Rubey wrote:
>> If you'd like to propose a meta-name that is not Axiom
>
> Please propose such a name. I cannot. For me, the meta name is Axiom, and
> there happens to be a sub-project bearing the same name. But that's my
> personal and biased view of things.
What about Scratchpad? I
Gabriel Dos Reis wrote:
root <[EMAIL PROTECTED]> writes:
[...]
| The name issue has already caused problems. William Stein of SAGE
| believe he has Axiom installed when he actually has Fricas.
Of course, both you and me cannot speak for William Stein, but there
is strong evidence that he knows
Martin Rubey wrote:
>
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> > The following patch changes installation directory from
> > $PREFIX/lib/axiom to $PREFIX/lib/fricas and the name of installed
> > binary from $PREFIX/bin/axiom to $PREFIX/bin/fricas.
> >
> > I think that we should do this
On Mon, 17 Dec 2007, root wrote:
| I only made one request when you forked Axiom. I asked
| that, as a professional courtesy, you please use your
| own project name.
It is called OpenAxiom. When you starts OpenAxiom-1.1.0-xxx
it says
OpenAxiom: The Open Scientific Computation Plat
On Mon, 17 Dec 2007, root wrote:
| >| >It seems to me that we have more FUD that concrete data that we can
| >| >subject to rational analysis.
| >|
| >| Sigh. So you don't read the mailing lists. However, you'll remember
| >| that Axiom was clobbered by the newer install on the windows platform.
You win. I give up. I'm tired of this pointless debate.
There is no cure for the active denial of the obvious
and a simple, global rename is painfully obvious.
I only made one request when you forked Axiom. I asked
that, as a professional courtesy, you please use your
own project name.
Waldek s
>| >It seems to me that we have more FUD that concrete data that we can
>| >subject to rational analysis.
>|
>| Sigh. So you don't read the mailing lists. However, you'll remember
>| that Axiom was clobbered by the newer install on the windows platform.
>
>You reported that you fumbled your instal
On Mon, 17 Dec 2007, root wrote:
| >| The name issue has already caused problems. William Stein of SAGE
| >| believe he has Axiom installed when he actually has Fricas.
| >
| >Of course, both you and me cannot speak for William Stein, but there
| >is strong evidence that he knows he has FriCAS.
|
On Mon, 17 Dec 2007, root wrote:
| >It seems to me that we have more FUD that concrete data that we can
| >subject to rational analysis.
|
| Sigh. So you don't read the mailing lists. However, you'll remember
| that Axiom was clobbered by the newer install on the windows platform.
You reported t
>| The name issue has already caused problems. William Stein of SAGE
>| believe he has Axiom installed when he actually has Fricas.
>
>Of course, both you and me cannot speak for William Stein, but there
>is strong evidence that he knows he has FriCAS.
Actually the Sage .spkg was named AxiomForSag
>It seems to me that we have more FUD that concrete data that we can
>subject to rational analysis.
Sigh. So you don't read the mailing lists. However, you'll remember
that Axiom was clobbered by the newer install on the windows platform.
At minimum, since they both try to use the AXIOM shell vari
root <[EMAIL PROTECTED]> writes:
[...]
| The name issue has already caused problems. William Stein of SAGE
| believe he has Axiom installed when he actually has Fricas.
Of course, both you and me cannot speak for William Stein, but there
is strong evidence that he knows he has FriCAS.
-- Gaby
On Mon, 17 Dec 2007, Martin Rubey wrote:
|
| root <[EMAIL PROTECTED]> writes:
|
| > Oh, but they DO. Try to do parallel installations.
| > Being able to run Fricas and Axiom in parallel would be great.
With OpenAxiom and FriCAS, one can specify their own installation
directories at configure ti
On Mon, 17 Dec 2007, C Y wrote:
| --- Martin Rubey <[EMAIL PROTECTED]> wrote:
|
| > But they wouldn't! Why would you think that any of your work was
| > lost when you install axiom after having installed friCAS?
|
| I think the concern here is accidentally overwriting an installation of
| Axiom
--- root <[EMAIL PROTECTED]> wrote:
> ...[snip]...
> >Aldor, for example - unless Tim has plans I'm not aware of Axiom
> >itself won't be moving in the direction of using Aldor.
>
> Sigh. I replied to Bill's email a while ago that Axiom will have
> aldor available. I explained at that time that
>But please answer my question:
>
>> Do you really want to maintain
>>
>> axiom.el, fricas.el, openaxiom.el,
>> axiom.tm, fricas.tm, openaxiom.tm
>> axiom.php, fricas.php, openaxiom.php?
>
Since you posted a literate file for axiom.el I have it in the queue
to package it with Axiom. I have to set
root <[EMAIL PROTECTED]> writes:
> Oh, but they DO. Try to do parallel installations.
> Being able to run Fricas and Axiom in parallel would be great.
I cannot see any problem running friCAS and axiom in parallel. I do it, for
example (because I couldn't get Aldor to run with friCAS yet), and I
...[snip]...
>Aldor, for example - unless Tim has plans I'm not aware of Axiom
>itself won't be moving in the direction of using Aldor.
Sigh. I replied to Bill's email a while ago that Axiom will have
aldor available. I explained at that time that Bill was making
a statement about Axiom that was n
C Y <[EMAIL PROTECTED]> writes:
> I think the concern here is accidentally overwriting an installation of Axiom
> with FriCAS, for example, or having the wrong library used due to path
> confusion. In my opinion that concern is valid.
So, how much work is it to reinstall axiom or friCAS, or open
>But they wouldn't! Why would you think that any of your work was
>lost when you install axiom after having installed friCAS? The only
>difference is, if the names wouldn't change, they wouldn't need to
>adjust paths they currently don't even know about.
Oh, but they DO. Try to do parallel insta
--- Martin Rubey <[EMAIL PROTECTED]> wrote:
> But they wouldn't! Why would you think that any of your work was
> lost when you install axiom after having installed friCAS?
I think the concern here is accidentally overwriting an installation of
Axiom with FriCAS, for example, or having the wrong
root <[EMAIL PROTECTED]> writes:
> It should be possible to have both systems installed, ala CMUCL and SBCL,
> even though they do the same things; if only for the reason that it would
> make it possible to compare results of system changes. Why should the user
> suddenly lose all of their Fricas
>Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
>> The following patch changes installation directory from
>> $PREFIX/lib/axiom to $PREFIX/lib/fricas and the name of installed
>> binary from $PREFIX/bin/axiom to $PREFIX/bin/fricas.
>>
>> I think that we should do this change to avoid conflicts with
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> The following patch changes installation directory from
> $PREFIX/lib/axiom to $PREFIX/lib/fricas and the name of installed
> binary from $PREFIX/bin/axiom to $PREFIX/bin/fricas.
>
> I think that we should do this change to avoid conflicts with
> othe
- Original Message -
From: Waldek Hebisch <[EMAIL PROTECTED]>
Date: Sunday, December 16, 2007 11:35 am
Subject: [Axiom-developer] Re: [fricas-devel] mathml hex(10) patch
To: [EMAIL PROTECTED]
Cc: axiom-developer@nongnu.org
> Ralpf,
>
> You wrote:
> > Tim, Waldek
- Original Message -
From: Waldek Hebisch <[EMAIL PROTECTED]>
Date: Sunday, December 16, 2007 12:11 pm
Subject: [Axiom-developer] Re: [fricas-devel] mathml patch
To: [EMAIL PROTECTED]
Cc: axiom-developer@nongnu.org
>
> > Hi Tim, Waldek,This patch covers a few
> Hi Tim, Waldek,This patch covers a few typos in the documentation
> and the correction for"continuedFraction(3,repeating [1], repeating
> [3,6])".
> Waldek your patchfor this one missed the last "ZAG" in the case of
> a finite continued fractionand replaced it with an ellipsis.
> I've added a te
Ralpf,
You wrote:
> Tim, Waldek,This patch is a band-aid for the hex(10) bug.
> @@ -1285,6 +1307,10 @@
> -- where it arises. Removed 2007-02-14
>concat(concat("",str),"")
> -- if we get to here does that mean it's a variable?
> + -- test for something like #\A and s
Martin,
There are a few "design points" about the regression test facility
that you might need to know if you plan to redesign it.
o) The tests are independent chunks
This allows them to be arranged logically in the pamphlet files
o) The comment markers are easily stripped
This allo
Martin,
The test facility is based on the regress function which is a lisp
function loaded into the axiom interpreter.
Regression test files contain the expected results. The format is
)spool foo.output (0)
--S n of m (1)
2+2
Dear Bill, Tim,
"Bill Page" <[EMAIL PROTECTED]> writes:
> Have you looked at the regression testing facility that Tim Daly has
> built for the original Axiom project? Do you think that it is not
> adequate and that we should re-do it another way rather than simply
> port his work?
Thanks for the
Excellent. I'll put this in after I install/test Greg's patch -- Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Dear Waldek, Gaby, Tim,
below a patch that makes RMATCAT Finite if it is. A testcase is
R==>RectangularMatrix(2,4, PF 2)
every?(zero?, [lookup(index(i))$R - i for i in 1..2^8])
should give true.
I slightly extended the documentation of HOAGG, since, when I read the
original, I was first led to
Martin Rubey <[EMAIL PROTECTED]> writes:
> Dear Waldek,
>
> Martin Rubey <[EMAIL PROTECTED]> writes:
>
> > Waldek Hebisch <[EMAIL PROTECTED]> writes:
> >
> > > This is issue 258. I plan to apply the patch below to solve the issue (as
> > > suggested in the issue we modify RectangularMatrixCate
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> Martin Rubey wrote:
> >
> > Martin Rubey <[EMAIL PROTECTED]> writes:
> >
> > > Gregory Vanuxem <[EMAIL PROTECTED]> writes:
> > >
> > > > Hello,
> > > >
> > > > Here is a patchlet that needs to be reviewed. It fixes a bug in the
> > > > function 'dis
Gaby,
On 12/13/07, you wrote:
>
> On Thu, 13 Dec 2007, Bill Page wrote:
>
> | I am not against revising the status categories so they are
> | more specific and better organized but I do think it is essential
> | that we treat all versions/forks of Axiom on an equal footing on
> | the NewSynthesis
On Thu, 13 Dec 2007, Bill Page wrote:
| I am not against revising the status categories so they are more
| specific and better organized but I do think it is essential that we
| treat all versions/forks of Axiom on an equal footing on the
| NewSynthesis Axiom Wiki. Doing things the way you suggest
On 11/28/07, Waldek Hebisch wrote:
>
> Martin Rubey wrote:
> >
> > Dear all, especially Bill,
> >
> > I'd need members$BinaryTree right now, did you supply a patch or
> > did you only notice? (I guess the patch is not difficult, but still...)
> >
>
> I also did not notice a patch -- I assume that
"Bill Page" <[EMAIL PROTECTED]> writes:
> 'newsynthesis' is one word
oh sorry - I should have checked
> - there is no dash here. But there is a dash in the axiom-wiki part. Sorry,
> 'newsynthesis' is a fixed name, but I could add an alias for 'axiomwiki' if
> you think that would be a good idea
On 27 Nov 2007 20:26:50 +0100, Martin Rubey wrote:
>
> Dear maintainers in charge,
>
> I would like to suggest that each one of you places a link to the new wiki
> home
>
> axiom-wiki.new-synthesis.org
>
> on his projects homepage. I believe that this would be a win for all of us.
>
Thanks, Mar
"Bill Page" <[EMAIL PROTECTED]> writes:
> All bug reports and issues from the old wiki site have been
> transferred to the new site and an updated version of the customized
> Topic navigation has been implemented at the new site (left sidebar).
Bill, you are a hero!
> The only feature that has n
On 05 Nov 2007 10:06:09 +0100, Martin Rubey wrote:
> Dear Bill, *
>
> a short answer, since I'm rather busy...
>
Busy is good. :-)
> >
> > Perhaps we could also support some standard versions, e.g.
> >
> > \begin{axiom}[fricas,1.1]
> > ...
> > \end{axiom}
> >
> > Here [...] is an optional p
Dear Bill, *
a short answer, since I'm rather busy...
> > fixed in Axiom
> > fixed in FriCAS
> > fixed in OpenAxiom
> That is a good suggestion. I think we can easily implement that.
[...]
> I propose the following syntax:
>
> \begin{axiom}[open-axiom]
> ...
> \end{axiom}
>
> Perhaps
Bill Page wrote:
>
> On 11/1/07, Waldek Hebisch wrote:
> >
> > Bill, I must admit that I have doubts concerning your migration
> > tactic.
> Waldek, I very much appreciate your taking the time to comment. I also
> have doubts as I will explain below. But I would state my own goals
> with respect
On 11/1/07, Waldek Hebisch wrote:
>
> Bill Page wrote:
> ...
> > new sites now. They can be found at:
> >
> > http://axiom-wiki.newsynthesis.org
> >
> > and
> >
> > http://axiom-portal.newsynthesis.org
> >
> ...
> Bill, I must admit that I have doubts concerning your migration
> tactic. AF
Bill Page wrote:
>
> Dear Axiom Users and Developers;
>
> Earlier in October Tim Daly asked me if I would be able to move the Axiom
> wiki:
>
> http://wiki.axiom-developer.org
>
> and the Axiom portal:
>
> http://portal.axiom-developer.org
>
> web applications to a new server.
> In
On Thu, 1 Nov 2007, Bill Page wrote:
| > I like IssueTracker a lot, mainly, because it is so easy to demonstrate the
| > bug. Since we have several projects now, it would be necessary though to be
| > able to select any subset of
| >
| > fixed in Axiom
| > fixed in FriCAS
| > fixed in OpenAxiom
|
Martin,
On 01 Nov 2007 07:21:57 +0100, you wrote:
>
> I'm very grateful to you, even though I'm unhappy that axiom-developer.org
> will not have the same contents in future. Oh dear, I link to it in a
> paper...
>
I haven't checked this with Tim but I think it his intention to retain
ownership
On Thu, 1 Nov 2007, Bill Page wrote:
|
| On 10/31/07, Gabriel Dos Reis wrote:
| >
| > On Wed, 31 Oct 2007, Bill Page wrote:
| > | ...
| > | I mean: What does Monad as defined in the Axiom library right now:
| > |
| > | ++ Monad is the class of all multiplicative monads, i.e. sets
| > | ++ with
Dear Bill,
I'm very grateful to you, even though I'm unhappy that axiom-developer.org will
not have the same contents in future. Oh dear, I link to it in a paper...
"Bill Page" <[EMAIL PROTECTED]> writes:
> http://axiom-wiki.newsynthesis.org
>
> and
>
> http://axiom-portal.newsynthesi
On 10/31/07, Gabriel Dos Reis wrote:
>
> On Wed, 31 Oct 2007, Bill Page wrote:
> | ...
> | I mean: What does Monad as defined in the Axiom library right now:
> |
> | ++ Monad is the class of all multiplicative monads, i.e. sets
> | ++ with a binary operation.
> |
> | have to do with Monads in Has
On Wed, 31 Oct 2007, Bill Page wrote:
|
| On 10/31/07, Gabriel Dos Reis wrote:
| >
| > On Wed, 31 Oct 2007, Bill Page wrote:
| > ...
| > | > |
| > | > | Perhaps I am being dense but I do not see what this has to do with the
| > | > | concept of Monad in Haskell.
| > | >
| > | > They are the same
On 10/31/07, Gabriel Dos Reis wrote:
>
> On Wed, 31 Oct 2007, Bill Page wrote:
> ...
> | > |
> | > | Perhaps I am being dense but I do not see what this has to do with the
> | > | concept of Monad in Haskell.
> | >
> | > They are the same categorial notion.
> |
> | That is not clear to me.
> |
> |
On Wed, 31 Oct 2007, Bill Page wrote:
|
| On 10/31/07, Gabriel Dos Reis wrote:
| >
| > On Wed, 31 Oct 2007, Bill Page wrote:
| >
| > | On 10/31/07, Gabriel Dos Reis wrote:
| > | >
| > | > On Wed, 31 Oct 2007, Bill Page wrote:
| > | > ...
| > | > | It might even be interesting to consider implemen
On 10/31/07, Gabriel Dos Reis wrote:
>
> On Wed, 31 Oct 2007, Bill Page wrote:
>
> | On 10/31/07, Gabriel Dos Reis wrote:
> | >
> | > On Wed, 31 Oct 2007, Bill Page wrote:
> | > ...
> | > | It might even be interesting to consider implementing
> | > | something akin to monads in Aldor/SPAD,
> | >
>
On Wed, 31 Oct 2007, Bill Page wrote:
| On 10/31/07, Gabriel Dos Reis wrote:
| >
| > On Wed, 31 Oct 2007, Bill Page wrote:
| > ...
| > | It might even be interesting to consider implementing
| > | something akin to monads in Aldor/SPAD,
| >
| > There already existe a domain called Monad in the Axi
On 10/31/07, Gabriel Dos Reis wrote:
>
> On Wed, 31 Oct 2007, Bill Page wrote:
> ...
> | It might even be interesting to consider implementing
> | something akin to monads in Aldor/SPAD,
>
> There already existe a domain called Monad in the Axiom family --
> it is a well mathematically defined noti
On Wed, 31 Oct 2007, Bill Page wrote:
|
| On 10/31/07, Gabriel Dos Reis wrote:
| >
| > On Wed, 31 Oct 2007, Bill Page wrote:
| >
| > | I think the lack of mutability in functional
| > | languages like Haskell is one of the harder things to get used
| > | to but at the same tim
On 10/31/07, Gabriel Dos Reis wrote:
>
> On Wed, 31 Oct 2007, Bill Page wrote:
>
> | I think the lack of mutability in functional
> | languages like Haskell is one of the harder things to get used
> | to but at the same time one of it's greatest strengths.
>
> Haskell has impera
On Wed, 31 Oct 2007, Bill Page wrote:
| I think the lack of mutability in functional
| languages like Haskell is one of the harder things to get used to but
| at the same time one of it's greatest strengths.
Haskell has imperative skin -- check out `monad'.
-- Gaby
Since there seems to be a slight misunderstanding, which I probably caused by
an upper case letter: I meant to write
> [matrix [[a,b,15-a-b],[c,d,15-c-d]] _
>for (a,b,c,d) in cartesianProduct([1..9, 1..9, 1..9, 1..9])]
^
|
That is, I thought of
| It looks like mathematical expression {matrix ... | (a,b,c,d) in {1..9}^4}.
Unfortunately, I don't have the time at the moment, but I really don't
see why one cannot have something like
for x in (1..3)^3 repeat {
(a,b,c) := x;
stdout << "(" << a, "," << b << "," << c << ")" << newline;
Francois Maltey <[EMAIL PROTECTED]> writes:
> > [matrix [[a,b,15-a-b],[c,d,15-c-d]] _
> >for (a,b,c,d) in CartesianProduct([1..9, 1..9, 1..9, 1..9])]
> But what is the signature of this function CartesianProduct ?
Sorry, I didn't bother to think about a good way to specify the Cartesian
Francois Maltey <[EMAIL PROTECTED]> writes:
> Axiom doesn't span Tuple and keeps the parenthesis, it's all right...
The parenthesis are, as far as I know, not really part of the tuple. They are
just the "usual" delimiters.
> I notice we play with Tuple, CartesianProduct and record. I let recor
Francois Maltey <[EMAIL PROTECTED]> writes:
> At use, Mupad is almost perfect
> [a $a=0..9] and [10*a+b $a=1..9$b=0..9] and [10*a+b $a=1..9$b=0..9$c=0..9]
> $ is a (right to left)? inner operator.
>
> Of corse parallel iterations must remain as a pretty pure concept of axiom.
So, how do you
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> Well, concat version creates intermediate lists and concatenates them.
> Psychologically double iteration is an atomic operation, so it is
> easier (at least for some folks) to think about.
OK. I'd still prefer to keep the language simple. What I wou
Eitan Gurari wrote:
> > tex4ht to bother with it. All I want to do is test out some latex to
> mathml
> > conversions.
>
> I just compiled the AMS test file into
>
> http://www.cse.ohio-state.edu/~gurari/temp/testmath.xht
> http://www.cse.ohio-state.edu/~gurari/temp/testmath.pdf
>
> u
Martin Rubey wrote:
> Arthur Ralfs <[EMAIL PROTECTED]> writes:
>
>
>> Looking at the home page I saw directions for updating and a link
>> to some precompiled systems but no directions for a general
>> from scratch build.
>>
>
> I believe you would just have to follow:
>
>Establishin
1 - 100 of 130 matches
Mail list logo
