Simultaneous equations: elimination in heike's workspace