open-axiom-help — Discussions about uses of OpenAxiom

You can subscribe to this list here.

 2008 2009 2010 2011 2012 2013 2014 2017 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 Jan Feb (1) Mar Apr May Jun Jul Aug (1) Sep Oct Nov Dec
S M T W T F S

1

2

3

4

5

6
(1)
7
(1)
8

9

10

11

12

13

14

15

16

17
(1)
18

19

20

21

22

23

24

25

26

27

28

29

30

31

Showing 3 results of 3

 [open-axiom-help] literal numbers in base other than 10 From: Gabriel Dos Reis - 2009-01-17 03:04:45 ```OpenAxiom 1.3.0 and higher now supports literal numbers expressed in a radix other than 10 (both in the interpreter and in library). For decimal numbers, the syntax is as usual. For base other than 10, you have to specify the radix first (as a decimal number) followed by the letter 'r', then followed by digits expressing the number. E.g. (1) -> 16rdeadbeef (1) 3735928559 Type: PositiveInteger (2) -> 16rcafebabe (2) 3405691582 Type: PositiveInteger (3) -> 2r111000101001 (3) 3625 Type: PositiveInteger -- Gaby ```
 [open-axiom-help] sockets From: Gabriel Dos Reis - 2009-01-07 08:05:50 Attachments: text/plain time-client.input
 [open-axiom-help] is it possible with open axiom? From: olfa mraihi - 2009-01-06 15:09:40 Attachments: Message as HTML ```Hello Open Axiom community, First wish you happy new year! 2)Could it also solve this system of equations: xP = 1 + a/yP and |yP-xP| <= epsilon ? I want yP in terms of the other variables. 3) Could it solve symbolically system of equations and inequations that mixes : - "numeric" equations(like:t/c^(i/4)=tP/c^(iP/4)) where t,tP,i,iP are variables(integers,reals) and c is a constant. - inequalities (like:i<=iP) - equations with arrays where I want to express symbolically sum of the elements of an array (like:x+Sum[A[k],{k,i,N}]=xP+Sum[A[k], {k,iP,N}])  -equations with composition of functions (like(Nest[f,v,j]=Nest[f,vP,jP] wich means f(f(f(..(v)) j times is = to f(f(f(..(vP)) jP times.  =>without specifying a concrete value for j and jP -equations with lists (like Join[l,m]=Join[lP,mP]which means that the concatenation of lists m and l is equal to the concatenation of lP and mP and where lists m,l,mP and lP are also symbolically expressed) Rq:By symbolically for arrays and lists I mean without specifying in advance the concrete content of them and their lengths. Here is a full example wrote in mathematica andI want to solve iP, jP, lP, mP, nP, tP, ttP, vP, vvP, wP, xP, yP in  terms of i, j, l, m, n, t, tt, v, vv, w, x, y : Reduce[ { i<=iP, j>=jP, 1*j+1*i==1*jP+1*iP, mP==Nest[Rest,m,iP-i], i+Length[m]==iP+Length[mP], 1*n-4*i==1*nP-4*iP, 4*i-1*n==4*iP-1*nP, tt/3^(i/1)==ttP/3^(iP/1), mP==Nest[Rest,m,j-jP], j-Length[m]==jP-Length[mP], 4*j+1*n==4*jP+1*nP, Nest[f,v,j]==Nest[f,vP,jP], tt/3^(j/-1)==ttP/3^(jP/-1), Join[l,m]==Join[lP,mP], t-c*n*(n-4)/(2*4)==tP-c*nP*(nP-4)/(2*4), tt/3^(n/4)==ttP/3^(nP/4), vv+7*tt/(1-3)==vvP+7*ttP/(1-3), x+Sum[A[k],{k,i,N}]==xP+Sum[A[k],{k,iP,N}], y+Sum[B[k],{k,1,j}]==yP+Sum[B[k],{k,1,jP}], w+Sum[Nest[f,v,k],{k,1,j}]==wP+Sum[Nest[f,vP,k],{k,1,jP}], (iP==20+1)}, {iP, jP, lP, mP, nP, tP, ttP, vP, vvP, wP, xP, yP},Backsubstitution->True] here: arrays are A and B lists are l,m,lP and mP. and variables of type integer are :x,xP,y,yP,i,iP,j,jP,v,vP,w ,wP,n,nP,t,tP,tt,ttPare variables , c  is a constant and f is a function   Thank you very much. Yours faithfully, Olfa MRAIHI. ```

Showing 3 results of 3