?? real algebraic variety "xy=0" (fe ...) as not giving pseudomanifold ?? .... ?? any interesting modification to "fix" this, or is it instead maybe an instance of "complex good, real bad" ?? .... ??? ...