@@ -673,8 +673,10 @@ makePrimitive List := List => w -> (
673673 apply (w, i -> i // g)
674674 );
675675
676- toricBlowup = method ()
677- toricBlowup (List , NormalToricVariety, List ) := NormalToricVariety => (s, X, v) -> (
676+ toricBlowup = method (Options => { WeilToClass => null })
677+ toricBlowup(List , NormalToricVariety) := NormalToricVariety => opts -> (s, X) -> (
678+ toricBlowup(s, X, makePrimitive sum ((rays X)_s), opts))
679+ toricBlowup(List , NormalToricVariety, List ) := NormalToricVariety => opts -> (s, X, v) -> (
678680 coneList := max X;
679681 starIndex := positions (coneList, t -> all (s, i -> member (i,t)));
680682 star := coneList_starIndex;
@@ -693,24 +695,25 @@ toricBlowup (List, NormalToricVariety, List) := NormalToricVariety => (s, X, v)
693695 if member (s#0,t) then continue
694696 else sort (t | s)
695697 );
696- Z := normalToricVariety (rays X, coneList | coneList', CoefficientRing => X.cache .CoefficientRing , Variable => X.cache .Variable );
698+ Z := normalToricVariety(rays X, coneList | coneList',
699+ CoefficientRing => X.cache .CoefficientRing ,
700+ Variable => X.cache .Variable ,
701+ WeilToClass => opts.WeilToClass);
697702 Z.cache .toricBlowup = X;
698703 return Z
699704 );
700705 coneList' = for t in clStar list (
701706 if all (s, i -> member (i,t)) then continue
702707 else t | {n}
703708 );
704- Z = normalToricVariety (rays X | {v}, coneList | coneList', CoefficientRing => X.cache .CoefficientRing , Variable => X.cache .Variable );
709+ Z = normalToricVariety(rays X | {v}, coneList | coneList',
710+ CoefficientRing => X.cache .CoefficientRing ,
711+ Variable => X.cache .Variable ,
712+ WeilToClass => opts.WeilToClass);
705713 Z.cache .toricBlowup = X;
706714 Z
707715 );
708716
709- toricBlowup (List , NormalToricVariety) := NormalToricVariety => (s,X) -> (
710- v := makePrimitive sum ((rays X)_s);
711- toricBlowup (s,X,v)
712- );
713-
714717makeSmooth = method (
715718 TypicalValue => NormalToricVariety,
716719 Options => {Strategy => 0 }
0 commit comments