Sponsored links: Algebra eBooks
 

Related

infix-is

infix("##",100,101);

"##"(a,b):=is(a<b);

3##4;

Calculate

infix

infix("uu",101,102);

"uu"(a,b):=a and b;

true uu false;

Calculate

infix-map

infix("|");

"|"(p,[x]):=map(f,x);

p|[a,b,c,d,e];

Calculate

infix-lambda-lreduce-map

infix("|");

"|"(p,[x]):=P(p)*lred...

p|[a,b,c,d,e];

Calculate

infix

infix("//");

"//" (r1,r2) := 1/(1/...

r47//r31//r28;

Calculate

infix

"xor"(r,s):= (r and n...

infix("xor");

wtafel(a xor b);

Calculate

infix-lambda-lreduce-map

infix("|");

"|"(p,[x]):=P(p)*lred...

Calculate

infix-lambda-lreduce-map

infix("|");

"|"(p,[x]):=P(p)*lred...

Calculate

infix

"xor"(r,s):= (r and n...

infix("xor");

wtafel(a xor b);

Calculate

infix

infix("(2 + 3 * 5) - ...

Calculate

infix

Run Example
(%i1)infix("|");
(%o1)                                  |
(%i2) "|"(p,[x]):=P(p)*lreduce("*",fullmapl(lambda([y],P(y,p)), x));
(%o2)   p | [x] := P(p) lreduce("*", fullmapl(lambda([y], P(y, p)), x))
(%i3) p|[a,b,c,d,e];
(%o3) [P(a, p) P(p), P(b, p) P(p), P(c, p) P(p), P(d, p) P(p), P(e, p) P(p)]
(%i4) 
Run Example
"xor"(r,s):= (r and not s) or (not r and s);
(%o1)           xor(r, s) := (r and (not s)) or ((not r) and s)
(%i2)  infix("xor");
(%o2)                                 xor
(%i3) f:(x xor y xor z) or z and not y;
(%o3) (((x and (not y)) or ((not x) and y)) and (not z))
                or (((not x) or y) and (x or (not y)) and z) or (z and (not y))
(%i4) 
Run Example
"xor"(r,s):= (r and not s) or (not r and s);
(%o1)           xor(r, s) := (r and (not s)) or ((not r) and s)
(%i2)  infix("xor");
(%o2)                                 xor
(%i3) f:(x xor y xor z) or z and not y;
(%o3) (((x and (not y)) or ((not x) and y)) and (not z))
                or (((not x) or y) and (x or (not y)) and z) or (z and (not y))
(%i4) f, x = false, y = false, z = false;
(%o4)                                false
(%i5) 

Related Help

Help for Infix