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
PermuteLogicFunction IsBiUnateFunction IsCovering IsLinearFunction IsUnateFunctionTo MaxValue binary Convert DiagramGateName Dimacs long Minus Nor PositiveDecimalToMantissa object() Realization To2LayerAndXor MaxSAT Solve OutputAndStateBasedly GetExcitationTable Simplification ROBDD Full MultiCover StateTransition TruthTable AdjustLogicVariableCount SemanticEval Zero