Hi,
I have some questions about the REAL type and constrained REAL types.
References to
the standard are to X.680 (07/2002):
1) According to 20.5 NOTE 1 the values
R ::= REAL
a R ::= {mantissa 1, base 2, exponent 0}
b R ::= {mantissa 1, base 10, exponent 0}
are different abstract values even if they both represent the
mathematical real 1.
What about two forms expressed in the same base? Is
c R ::= {mantissa 1024, base 2, exponent -10}
the same abstract value as a?
2) Is it legal to have constraints on mantissa and/or exponent? For example:
Rm ::= REAL (WITH COMPONENTS {..., mantissa (-999 .. 999)})
Would the value c from above fulfill this constraint? (It should if it
is the same abstract value as a)
3) Does a REAL type with base constraint allow the special real values
PLUS-INFINTY and MINUS-INFINITY? In other words, is this legal:
Rb ::= REAL (WITH COMPONENTS {..., base(10)})
d Rb ::= MINUS-INFINITY
Could somebody please shed some light on this?
Thanks,
Henry
_______________________________________________
Asn1 mailing list
[email protected]
http://lists.asn1.org/mailman/listinfo/asn1
