open-axiom-help — Discussions about uses of OpenAxiom

You can subscribe to this list here.

 2008 2009 2010 2011 2012 2013 2014 Jan (4) Feb (2) Mar Apr May Jun Jul Aug (2) Sep Oct (27) Nov Dec (6) Jan (3) Feb Mar Apr (1) May Jun (27) Jul Aug Sep (3) Oct (22) Nov (12) Dec Jan (11) Feb (3) Mar (2) Apr (11) May (29) Jun (59) Jul Aug (3) Sep (2) Oct (8) Nov (3) Dec Jan (5) Feb Mar Apr (6) May Jun Jul (13) Aug (4) Sep (4) Oct (19) Nov Dec (2) Jan (2) Feb (1) Mar (3) Apr May Jun Jul (1) Aug Sep Oct Nov Dec Jan Feb Mar Apr May (78) Jun (10) Jul Aug Sep Oct Nov Dec (2) Jan (2) Feb Mar Apr May Jun Jul Aug Sep (1) Oct (1) Nov Dec
S M T W T F S

1

2

3

4

5

6

7

8

9

10
(1)
11

12
(2)
13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

Showing 3 results of 3

 Re: [open-axiom-help] choosing coercion From: Gabriel Dos Reis - 2012-03-12 20:14:06 ```Ralf Hemmecke writes: | On 03/12/2012 05:51 PM, Serge D. Mechveliani wrote: | > I need to build (in Spad) an element x : (D : EuclideanDomain) | > into SExpression. | | The first question I would have: Why? | SExpression is losing all type information, as a FriCAS programmer, | one would think twice about the need of such a function. | | I D is a EuclideanDomain, then there are no exported functions to turn | an element of D into SExpression. If you don't additionally require | from D that it exports a function foo: % -> SExpression, the only | thing you can do, is via (type unsafe) tricks. OpenAxiom allows users to *safely* unpack values of the existential type Any: case expr is x: exist(D: EuclideanDomain) . D => something with x otherwise => do something else See: http://sourceforge.net/apps/trac/open-axiom/browser/1.4.x/src/algebra/any.spad.pamphlet#L184 http://sourceforge.net/apps/trac/open-axiom/browser/1.4.x/src/algebra/any.spad.pamphlet#L188 -- Gaby ```
 Re: [open-axiom-help] choosing coercion From: Gabriel Dos Reis - 2012-03-12 19:06:59 ```"Serge D. Mechveliani" writes: | People, | I need to build (in Spad) an element x : (D : EuclideanDomain) | into SExpression. I suspect the real issue is why you want SExpression as target, therefore forgoing the typing relation? It is agreable to you to maintain the type information even when you use a uniform syntax representation like SExpression? If yes, why don't you use Any? -- Gaby | I do not mind to set it there, for example, via OutputForm. | So, I try | | ----------------------------------------- | )abbrev package FOO Foo | Foo(D : EuclideanDomain) : with | f : D -> SExpression | == | add | f x == | xOF := coerce(x) :: OutputForm | xI := convert(xOF) \$InputForm | xStr := unparse(xI) :: String | convert(xStr :: Symbol) \$SExpression | ----------------------------------------- | | I have spent 1 hour to find this conversion which satisfies the compiler. | Instead of writing | x :: OutputForm :: String :: SExpression, | | one needs to guess of all these clever coerce, convert, unparse, | and also of introducing InputForm, where this InputForm seems to have | no relevance to the subject. | | 1. Is there possible a simpler code? | 2. If it is not, can the compiler be improved in this point? | | I suspect that all such questions about improving the compiler need to be | consdered in the frame of Aldor, and one could write things in Aldor, | with using the FriCAS library. | (?) | But | a) I do not know, of whether Aldor is currently workable in this mode, | b) it seems, there are some problems with openness and license. | | Thanks, | | Regards, | | ------ | Sergei | mechvel@... | | -- | You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. | To post to this group, send email to fricas-devel@... | To unsubscribe from this group, send email to fricas-devel+unsubscribe@... | For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en. ```
 [open-axiom-help] axiom inferior mode in emacs From: Joachim Schmidtke - 2012-03-10 02:36:32 Attachments: Message as HTML ```I have installed successfully axiom on an airmac. I am using aquamacs (emacs) as editor for different programs and want to add axiom in an inferior mode to emacs. How can I do this that emacs recognizes .input formats and can be invoked by M-x run axiom ? Best regards Jochen ```

Showing 3 results of 3