713cb239-3b8f-4ae2-8333-17e010494a41 3 4 5 decimal

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

EQ 3 u * u 3^- 2 v 2^* - v 4^+ :

local definition assign x y f u v 12 mat x y 12 mat : EQ 21 line :

level 2 :

x y f x 3 x 2^- (* y 2^2 - y 2^+ (* + = x y f_1 x y f level - : x y f_2 x y f level + : x y XY x y / - : 41 sys

f f_1 f_2 XY 4 1 sys