hello,
U64Int exports Ring I wonder why. Wouldn't it be something like
OrderedAbelianMonoid, eventually OrderedAbelianMonoidSup, or something
like that? I know its use from the documentation (u32vec.spad):
)abbrev domain U64INT U64Int
++ Description: Domain of unsigned 64-bit integers. It is used
++ to declare that values of local variables fit into 64 bits.
U64Int : Ring with
qconvert : Integer -> %
== Integer add
qconvert(x) == x pretend %
I ask this since I plan to add its equivalent to JLObjectType when
accessing internal Julia object structure and I wonder what it will
export. Any idea about which category(ies) I should use?
I do not want substraction, just eventually substractIfCan. I
looked at NonNegativeInteger to see its exports but it's too a lot for
me and I do not want to use SubDomain, I plan to add it to a personal
category JLMachineType. Example:
(1) -> randtest("randtest_wide")
(1)
[-0.9999999995343387126922607421875000120370621524201385531291391908951192436
96186 +/- 4.54e-79]
Type: NMRealBall
(2) -> jlPropertyNames %
(2) (:mid_exp, :mid_size, :mid_d1, :mid_d2, :rad_exp, :rad_man, :parent)
Type: JLObject
(3) -> jlGetProperty(%%(1),"mid_size")
(3) 0x0000000000000007
Type: JLObject
(4) -> jlType %
(4) "UInt64"
Type: String
Regards,
- Greg
=================================================
(5) -> jlDocumentation randtest
randtest(randtype) returns a random number depending on the Julia symbol rand
type. :urandom an uniformly distributed random number contained in [0,1]. To
test corner cases: :randtest returns a finite random number, :randtest_exact
returns a zero radius random number, :randtest_precise returns a precise rand
om number i.e. with a radius of around 2^-precision() the magnitude o
f the midpoint, :randtest_special returns a special random number where midpo
int and/or radius might be NaNs or infinities, :randtest_wide returns a rando
m number with a large radius that might be big relative to its midpoint.
Signature:
(JLSymbol)->%
From:
NMArbField
(6) -> jlDocumentation jlPropertyNames
jlPropertyNames(obj) returns the property/element names of obj.
Signature:
(%)->JLObject
From:
JLObjectType
(7) -> jlDocumentation jlGetProperty
jlGetProperty(obj, sym) returns the property/element sym of obj.
Signature:
(%,JLSymbol)->JLObject
From:
JLObjectType
(8) -> jlDocumentation jlType
jlType(obj) returns the Julia type of obj.
Signature:
(%)->String
From:
JLObjectType
--
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 [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbmZE9GnNNCqq_E1rYPSRUd71-WZ6UkyFwH%3DbQULw737g%40mail.gmail.com.
