|context> => |testing algebra load> |u> => algebra(|a> + |b>,|^>,|2>) |x> => algebra(|a> + |b>,|^>,|3>) |y> => algebra(|a> + |b>,|*>,|c> + |d>) |z> => algebra(2|x> + 3| >,|*>,5|x> + 7| >)