NumberSystem.PositiveNumberToMantissa
Back to table
/*
Number-System
NumberSystem.PositiveNumberToMantissa
[int() mantissa]=NumberSystem.PositiveNumberToMantissa(real N, int maxDigit, int systemBase);
Get the mantissa of a real number N>=0 by the systemBase-based number system. The mantissa(=-1) means the period (.) seperator of the real number.
*/
//-------------------------------------------------------------------
// 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
Advanced Analysis ToAndOr BCD BinaryNumberToString ToAndXor ToVariableInvertedFunction Dimacs ExcitationTable FeedbackDiagram list() Get MantissaToPositiveDecimal One PermutationMatrix real() To2LayerAndOr StateVariables StateTransitionBasedly ROBDD MultiCover SimpleInner StateDeviceName GetPositiveLogicFunction AdjustLogicVariableCount IndependentBase ShannonExpansion var XORP Zero