Algebra.RealTranscendental

class C a