We have a view places where the introduction of OrderedField would make
sense?
Opinions?
Ralf
grep '\<Field\>' *.spad | grep '\<OrderedRing\>'
crfp.spad: -- R : Join(Field, OrderedRing, CharacteristicZero)
crfp.spad: R : Join(Field, OrderedRing)
numeigen.spad: Par : Join(Field, OrderedRing) -- it will be NF or RN
numeigen.spad: Par : Join(Field, OrderedRing) -- Float or
RationalNumber
numeigen.spad: Par : Join(Field, OrderedRing) -- Float or
RationalNumber
numsolve.spad: Par : Join(Field, OrderedRing) -- will be Float or RN
numsolve.spad: Par : Join(Field, OrderedRing ) -- it will be NF or RN
numsolve.spad: Par : Join(OrderedRing, Field) -- RN or NewFloat
numsolve.spad: Par : Join(Field, OrderedRing)
reclos.spad: TheField : Join(OrderedRing, Field)
reclos.spad: TheField : Join(OrderedRing, Field)
reclos.spad: TheField : Join(OrderedRing, Field, RealConstant)
sf.spad: Join(Field, OrderedRing, RealConstant, RetractableTo Integer,
sf.spad:++ it is defined to be a join of a Field and OrderedRing, some of
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/c65b8f3c-e0d2-4562-ae42-1830f50020b3%40hemmecke.org.
