subringIntersection -- Intersection of subrings

Synopsis

Usage:

result = subringIntersection(S1, S2)
Inputs:
- S1, an instance of the type Subring,
- S2, an instance of the type Subring,
- SAGBILimitType, a string, Either \"Fixed\" or \"Function\". Determined the stopping criterion for the sagbi computation. If \"Fixed\" then the Limit is used, otherwise if \"Function\" is selected then the maximum degree of the input generators is used as the degree limit.
Optional inputs:
- Strategy => a string, default value "Master", the update strategy at the beginning of each loop: \"DegreeByDegree\", \"Incremental\", and \"Master\". The strategy \"Master\" is a hybrid that combines the other two; starting with \"DegreeByDegree\" for low degrees and switching to \"Incremental\". (See: Strategy)
- SubductionMethod => a string, default value "Top", the method used for subduction either: \"Top\" or \"Engine\". (See: SubductionMethod)
- Limit => an integer, default value 20, a degree limit for the binomial S-pairs that are computed internally.
- PrintLevel => an integer, default value 0, When this is greater than zero, information is printed about the progress of the computation (See: PrintLevel).
- SAGBILimitType
Outputs:
- result, an instance of the type Subring,

Description

Computes the intersection of subrings "S_1" and "S_2". These subrings must be subrings of the same ambient ring. The ambient ring is allowed to be a polynomial ring or the quotient of a polynomial ring.

i1 : R = QQ[x,y];

i2 : I = ideal(x^3 + x*y^2 + y^3);

o2 : Ideal of R

i3 : Q = R/I;

i4 : S1 = subring {x^2, x*y};

i5 : S2 = subring {x, y^2};

i6 : S = subringIntersection(S1, S2);
 -- 0.000079989 seconds elapsed
 -- 0.00110745 seconds elapsed
 -- 0.00022985 seconds elapsed
 -- 0.000087193 seconds elapsed
 -- 0.000930101 seconds elapsed
 -- 0.000253414 seconds elapsed
 -- 0.000075822 seconds elapsed
 -- 0.000071514 seconds elapsed
 -- 0.000180557 seconds elapsed
 -- 0.000086491 seconds elapsed
 -- 0.000831968 seconds elapsed
 -- 0.000204303 seconds elapsed
 -- 0.000087424 seconds elapsed
 -- 0.000813714 seconds elapsed
 -- 0.000205013 seconds elapsed
 -- 0.000081944 seconds elapsed
 -- 0.000747709 seconds elapsed
 -- 0.000204734 seconds elapsed
 -- 0.000085399 seconds elapsed
 -- 0.000852797 seconds elapsed
 -- 0.00020847 seconds elapsed
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction

i7 : gens S

o7 = | x2 x2y2+xy3 y4 xy3 y6 xy5 |

             1       6
o7 : Matrix Q  <--- Q

i8 : isSAGBI S
 -- 0.000077385 seconds elapsed
 -- 0.000920683 seconds elapsed
 -- 0.000199584 seconds elapsed
 -- 0.000076954 seconds elapsed
 -- 0.000879226 seconds elapsed
 -- 0.000204223 seconds elapsed
 -- 0.000107271 seconds elapsed
 -- 0.000879736 seconds elapsed
 -- 0.000241332 seconds elapsed
 -- 0.000077245 seconds elapsed
 -- 0.000773728 seconds elapsed
 -- 0.000200355 seconds elapsed
 -- 0.000076273 seconds elapsed
 -- 0.000742049 seconds elapsed
 -- 0.000190487 seconds elapsed
 -- 0.000078998 seconds elapsed
 -- 0.000807202 seconds elapsed
 -- 0.000192591 seconds elapsed
 -- 0.000088335 seconds elapsed
 -- 0.000925553 seconds elapsed
 -- 0.000190225 seconds elapsed
 -- 0.000079328 seconds elapsed
 -- 0.000841857 seconds elapsed
 -- 0.000193873 seconds elapsed
 -- 0.000077475 seconds elapsed
 -- 0.000763139 seconds elapsed
 -- 0.000192349 seconds elapsed
 -- 0.000076915 seconds elapsed
 -- 0.000783096 seconds elapsed
 -- 0.00019244 seconds elapsed
 -- 0.00008058 seconds elapsed
 -- 0.000732922 seconds elapsed
 -- 0.000190467 seconds elapsed
 -- 0.00007442 seconds elapsed
 -- 0.000777064 seconds elapsed
 -- 0.000191239 seconds elapsed
 -- 0.000078838 seconds elapsed
 -- 0.00122851 seconds elapsed
 -- 0.000318536 seconds elapsed
 -- 0.000077726 seconds elapsed
 -- 0.00117223 seconds elapsed
 -- 0.000348924 seconds elapsed
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction
timing raw subduction

o8 = true

If the generators of $S$ form a sagbi basis and the degree limit is high enough, then they are a generating set for the intersection.

Ways to use subringIntersection :

"subringIntersection(Subring,Subring)"

For the programmer

The object subringIntersection is a method function with options.

subringIntersection -- Intersection of subrings

Synopsis

Description

See also

Ways to use subringIntersection :

For the programmer