clean(HodgeSpecialFourfold) -- clean the internal information of a fourfold

Synopsis

• Function: clean

• Usage:

  clean X

• Inputs:
  • X, a Hodge-special fourfold
• Outputs:
  • a Hodge-special fourfold, which is mathematically identical to X, but new to the system

Description

This function is only useful for testing.

i1 : X = specialFourfold "quartic scroll"

o1 = X

o1 : ProjectiveVariety, cubic fourfold containing a surface of degree 4 and sectional genus 0

i2 : X' = clean X

o2 = X'

o2 : ProjectiveVariety, cubic fourfold containing a surface of degree 4 and sectional genus 0

i3 : X === X'

o3 = false