? Phi is a lite version of describe Phi. The latter has a different behavior than describe(RationalMap), since it performs computations.
i1 : Phi = multirationalMap graph rationalMap PP_(ZZ/65521)^(1,4); o1 : MultirationalMap (rational map from 4-dimensional subvariety of PP^4 x PP^5 to PP^4 x PP^5) |
i2 : time ? Phi
-- used 0.00011503 seconds
o2 = multi-rational map consisting of 2 rational maps
source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9
target variety: PP^4 x PP^5
------------------------------------------------------------------------
hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
|
i3 : image Phi; o3 : ProjectiveVariety, 4-dimensional subvariety of PP^4 x PP^5 |
i4 : time ? Phi
-- used 0.000158291 seconds
o4 = multi-rational map consisting of 2 rational maps
source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
target variety: PP^4 x PP^5
dominance: false
image: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
|
i5 : time describe Phi
-- used 1.34592 seconds
o5 = multi-rational map consisting of 2 rational maps
source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
target variety: PP^4 x PP^5
base locus: empty subscheme of PP^4 x PP^5
dominance: false
image: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
multidegree: {51, 51, 51, 51, 51}
degree: 1
degree sequence (map 1/2): [(1,0), (0,2)]
degree sequence (map 2/2): [(0,1), (2,0)]
coefficient ring: ZZ/65521
|
i6 : time ? Phi
-- used 0.000384251 seconds
o6 = multi-rational map consisting of 2 rational maps
source variety: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
target variety: PP^4 x PP^5
base locus: empty subscheme of PP^4 x PP^5
dominance: false
image: 4-dimensional subvariety of PP^4 x PP^5 cut out by 9 hypersurfaces of multi-degrees (0,2)^1 (1,1)^8
multidegree: {51, 51, 51, 51, 51}
degree: 1
|