
#ifndef __TEST_WRT_
#define __TEST_WRT_

extern void tracePrn (char *format,...);
extern void writetens (polyvars * v, poly p);
extern void writespinor (polyvars * v, poly p);
extern void writeexpression (polyvars * v, poly m);

#endif
