Skip to content

Commit 79ea254

Browse files
committed
added kludge for promote(RingElement, OO_X)
1 parent 1958e33 commit 79ea254

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

M2/Macaulay2/packages/Varieties/SheafMaps.m2

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -237,6 +237,10 @@ quotient'(SheafMap, SheafMap) := SheafMap => opts -> (f, g) -> (
237237
promote(SheafMap, Nothing) := SheafMap => (f, O) -> if O === ring f then f else error "base change of maps of sheaves is not yet implemented"
238238
promote(SheafMap, RingElement) := SheafMap => (f, R) -> if R === ring variety f then f else error "base change of maps of sheaves is not yet implemented"
239239

240+
-- FIXME: another kludge to get RingElement * Complex to work
241+
promote(Number, Nothing) :=
242+
promote(RingElement, Nothing) := RingElement => (r, O) -> try promote(r, O.ring) else r
243+
240244
-- printing
241245
-- TODO: use abbreviations for source and target
242246
expression SheafMap := Expression => f -> (

0 commit comments

Comments
 (0)