intersect -- intersection number of a curve class and divisor class

Usage:

intersection(C,D)
Inputs:
- C, an instance of the type CurveClassRepresentativeM0nbar,
- D, an instance of the type DivisorClassRepresentativeM0nbar,
Outputs:
- a rational number,

Description

The basic formula for intersecting a boundary divisor with an F-curve is found in Keel and McKernan's paper.

i1 : L1={ {{{2,1},{3},{4},{5}},-2}, {{{1,3},{2},{4},{5}},-7}, {{{1,4},{2},{3},{5}},1}};

i2 : C=curveClassRepresentativeM0nbar(5,L1);

i3 : L2={ {{1,3},1}, {{1,4},1}};

i4 : D=divisorClassRepresentativeM0nbar(5,L2);

i5 : intersection(C,D)

o5 = 6

intersect(CurveClassRepresentativeM0nbar,DivisorClassRepresentativeM0nbar)
intersect(List) -- see intersect -- compute an intersection
intersect(Sequence) -- see intersect -- compute an intersection
intersect(DivisorClassRepresentativeM0nbar,CurveClassRepresentativeM0nbar) -- intersection number of a divisor class and curve class
intersect(Ideal) -- see intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
intersect(Module) -- see intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
intersect(Module,Module) -- see intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
intersect(Matrix) (missing documentation)
intersect(Matrix,Matrix) (missing documentation)
intersect(Matrix,Matrix,Matrix,Matrix) (missing documentation)
intersect(CCi) -- see intersect(RRi) -- intersection of input intervals
intersect(CCi,CCi) -- see intersect(RRi) -- intersection of input intervals
intersect(CCi,RRi) -- see intersect(RRi) -- intersection of input intervals
intersect(RRi) -- intersection of input intervals
intersect(RRi,CCi) -- see intersect(RRi) -- intersection of input intervals
intersect(RRi,RRi) -- see intersect(RRi) -- intersection of input intervals
intersect(Set) (missing documentation)
intersect(Set,Set) -- set intersection

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/M0nbar.m2:1971:0.