To expression with bugs

bde8ac6d-bed6-425b-bae7-7740dd15cae9 123 4 5 false false 0 decimal

&[DATE] &[TIME] - &[FILENAME]

"Evrething it's an expression", it's the rule for using rules in Wolfram's mathematica software. This is my attempt for use only binary or unary expressions for a try to manipulate them.

4 appVersion 0.99.7561.40250

4 appVersion 0.99.7561.40250 ≡

To expression with bugs

E\032E\ R\032E\ N\032E\ ApplyRules x\0324\ E\032E\ : y\0324\ E\032E\ : 12 mat NIter\0324\ 1 N\032E\ range n\0324\ 1 R\032E\ rows range x\0324\ equrep(x\0324\ num2str, R\032E\ n\0324\ 1 el num2str, R\032E\ n\0324\ 2 el num2str) concat str2num : for x\0324\ num2str y\0324\ num2str ≡ break y\0324\ x\0324\ : if 21 line for x\0324\ 31 line :

n op fn P op2ex str1 a0 op a1 concat : str2 fn (a0,a1) concat : P P str1 str2 12 mat stack : k 2 n range str1 str1 op a k num2str concat : str2 fn (str2,a k num2str) concat : P P str1 str2 12 mat stack eval : 31 line for P 51 line :

E\032E\ R\032E\ ApplyRules E\032E\ R\032E\ ApplyRulesN ApplyRules 11 line :

E\032E\ R\032E\ ApplyRules

ApplyRulesN 20 :

E\032E\ R\032E\ op2ex ans\0324\ E\032E\ R\032E\ ApplyRules num2str : ans\0324\ ans\0324\,1/,_one/ strrep str2num : ans\0324\ ans\0324\ R\032E\ ApplyRules num2str : ans\0324\ ans\0324\ \005F\times\0028\\005F\one\002C\1\002F\_inv(strrep -_negone* strrep : ans\0324\ ans\0324\ str2num R\032E\ ApplyRules :_one 1 :_negone 1 - : x\0324\_inv x\0324\_negone_pow : 13 mat ans\0324\ 71 line :

E\032E\ op2ex E\032E\ op2ex op2ex 11 line :

Algebra

op2exN 20 :

op2ex 02 matrix :

op2ex op2exN +_plus op2ex op2ex :

op2ex op2exN *_times op2ex op2ex :

op2ex op2exN^_pow op2ex op2ex :

op2ex op2ex a/b_times(a,_pow(b,-1) 12 mat stack :

op2ex op2ex 0-a_times(a,-1) 12 mat stack :

Algebra Example

expr a 2^x * b + x 3^y * + c d / - x 1 x + (* / :

Convert an expression

This don't give the desired result

expr op2ex ApplyRules c - d b x a 2_pow x 2_pow y_times_plus_times_plus_times_plus 1 d /_times 1 x /_times 11 x_plus 1 -_pow_times_times

This do

_expr expr op2ex :

(-1 can appear but not -something)

_expr 1 - c_times d b x a 2_pow x 2_pow y_times_plus_times_plus_times_plus d 1 -_pow_times x 1 -_pow_times 11 x_plus 1 -_pow_times_times

For recover the original expression

a b_times a b * :

a b_plus a b + :

a b_pow a b^:

_expr c - d b x a 2^x 2^y * + (* + (* + d x * 1 x + (* /

expr_expr - 0

a b_times a b_plus a b_pow Clear 1

_expr 1 - c_times d b x a 2_pow x 2_pow y_times_plus_times_plus_times_plus d 1 -_pow_times x 1 -_pow_times 11 x_plus 1 -_pow_times_times

Boolean Algebra

op2ex 2 &_and op2ex op2ex :

op2ex 2 |_or op2ex op2ex :

op2ex 2 ¤_xor op2ex op2ex :

op2ex op2ex ¬a_not(a) 12 mat stack :

Boolean Algebra Example

Convert an expression

expr a&(b|c&a|1|a¤1)&¬(a&b)&a&b¤¬c|d&0 str2num :

_expr expr op2ex :

expr a b c a & (| (1 | (a 1 ¤ (| (& (a b & (¬ & (a & (b c ¬ ¤ (& (d 0 & (|

_expr a b_and c a_and_or 1_or a 1_xor a_not_and b_and a_and b c_not_xor_and_or d 0_and_or

Or recover the original expression with

a b_and a b & :

a b_or a b | :

a b_xor a b ¤ :

a_not a ¬ :

_expr a b & (c a & (| (1 | (a 1 ¤ (a ¬ & (b & (a & (b c ¬ ¤ (& (| (d 0 & (|

... just for see that something is wrong somewhere

expr a b c a & (| (1 | (a 1 ¤ (| (& (a b & (¬ & (a & (b c ¬ ¤ (& (d 0 & (|

values a 1 ≡ b 0 ≡ c 1 ≡ d 0 ≡ 41 sys :

expr values at 0

_expr values at 1

a b_and a b_or a b_xor a_not Clear 1

_expr a b_and c a_and_or 1_or a 1_xor a_not_and b_and a_and b c_not_xor_and_or d 0_and_or

35 t * 2 + cos * op2ex 325 t_times_plus cos_times

35 t * 2 - cos * op2ex 321 -_times 5 t_times_plus cos_times

35 t * 2 - cos * - op2ex 1 - 321 -_times 5 t_times_plus cos_times_times

Alvaro