CPP	modules/valuepoly.cpp
HPP	modules/valuepoly.hpp
TEX	modules/valuepoly.tex

MODULE	poly	modules/valuepoly.hlp

TYPES
POLY	valuepoly
END

UNARYFUNCTIONS
poly	POLY	*	(valuepoly(va))
poly	POLY	STRING	namedvaluepoly(a)
output	STRING	POLY	(output(a))
transpose	POLY	POLY	(deriv(a))
deg	INTEGER	POLY	a.deg()
END

BINARYFUNCTIONS
poly	POLY	*	*	valuepoly(va,vb)

add	POLY	POLY	POLY	(a+b)
add	POLY	*	POLY	(valuepoly(va)+b)
add	POLY	POLY	*	(a+valuepoly(vb))
sub	POLY	POLY	POLY	(a-b)
sub	POLY	*	POLY	(valuepoly(va)-b)
sub	POLY	POLY	*	(a-valuepoly(vb))
mul	POLY	POLY	POLY	(a*b)
mul	POLY	*	POLY	(valuepoly(va)*b)
mul	POLY	POLY	*	(a*valuepoly(vb))
cell	VALUE	POLY	*	(a(b))

eq	INTEGER	POLY	POLY	(a==b)
eq	INTEGER	POLY	*	(a==valuepoly(vb))
eq	INTEGER	*	POLY	(valuepoly(va)==b)
neq	INTEGER	POLY	POLY	(a!=b)
neq	INTEGER	POLY	*	(a!=valuepoly(vb))
neq	INTEGER	*	POLY	(valuepoly(va)!=b)


pow	POLY	POLY	INTEGER	(power(a,b))
END