//
// hauptideal.pov
//
// (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
//
#declare T = 0;
#include "common.inc"

Nichthauptideal()
NichthauptidealKomplement()