Open michaelmusty opened 5 years ago
Currently height.m measures complexity naively using Magma functions Height and/or CoefficientHeight.
@SamSchiavone says use heights in weighted projective space. Sounds like a good idea!
Currently height.m measures complexity naively using Magma functions Height and/or CoefficientHeight.