Modern computer algebra | Synapse