symbsage.py, mostly working (as stand-alone and as module)