NumberSystem.PositiveDecimalToMantissa
Back to table
/*
Number-System
NumberSystem.PositiveDecimalToMantissa
[int() mantissa]=PositiveDecimalToMantissa(real N, int maxDigit, int systemBase);
Get teh mantissa series of a real number $0 \ge N<1$ under the systemBase-based number system.
*/
//-------------------------------------------------------------------
// examples
[v]=NumberSystem.Radixes(15);
Print(v);
[v]=NumberSystem.RadixFromIndex(5,14);
Print(v);
[v]=NumberSystem.RadixToIndex("7",18);
Print(v);
[v]=NumberSystem.LeastSignificantDigit(100,19);
Print(v);
[v]=NumberSystem.PositiveIntegerToMantissa(100,19);
Print(v);
[v]=NumberSystem.MantissaToPositiveInteger(int(2,3,4),19);
Print(v);
[v]=NumberSystem.MostSignificantDigit( 0.1, 16);
Print(v);
[v]=NumberSystem.PositiveDecimalToMantissa(0.1,3,16);
Print(v);
[v]=NumberSystem.MantissaToPositiveDecimal(int(2,3,4),16);
Print(v);
[v]=NumberSystem.PositiveNumberToMantissa(2.4,4,16);
Print(v);
[v]=NumberSystem.MantissaToPositiveNumber(int(2,3,-1,1,2,3),16);
Print(v);
//-------------------------------------------------------------------
// result
IsPositiveFunction IsSelfDualFunction BDD Binary ToBinary NineComplement StringToBinaryNumber TwoComplement ToOrAnd ToNotFunction ToROBDD FeedbackSystem Count long minterm Nand MantissaToPositiveDecimal Print To2LayerAndXor SAT StateVariables Simplification Balanced ROBDD DontCare StateTransition string RandomGenerate ShrinkLogicFunction Zero