Skip to content

Commit c407162

Browse files
committed
fix isPromotable ring family
This reverts commit 63d7fc7.
1 parent 859bf07 commit c407162

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

M2/Macaulay2/m2/reals.m2

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -106,10 +106,13 @@ promote(RawRingElement,RingElement) := (x,R) -> new R from x
106106
promote(Number,InexactNumber) := (x,RR) -> promote(x,default RR)
107107
promote(ZZ,RR') :=
108108
promote(QQ,RR') :=
109+
promote(RR',RR') :=
109110
promote(RR,RR') := (i,K) -> toRR(K.precision,i)
110111
promote(ZZ,CC') :=
111112
promote(QQ,CC') :=
112113
promote(RR,CC') :=
114+
promote(RR',CC') :=
115+
promote(CC',CC') :=
113116
promote(CC,CC') := (i,K) -> toCC(K.precision,i)
114117
promote(ZZ,RRi') :=
115118
promote(QQ,RRi') :=

0 commit comments

Comments
 (0)