model

modelling geometric constructions with symbolic algebra