addeqineq:ʽһʽ
addineq:ʽ
addnum:ʽ߼һ
addterm:ʽ߼Ӵʽ
constineq:㲻ʽ
divexp:ôʽʽ
divnum:ʽ
exsides:ʽ
lincomb:ʽȨ
mulexp:ôʽ˲ʽ
mulineq:ʽ
mulnum:˲ʽ
obvineq:ƽʽ
rewrite:дʽ
simpdeduc:ʽļƵ
splitineq:һʽֽ
sqrpos:ʵƽ
trans:ʽĴ
