NumberSystem.MantissaToPositiveInteger
Back to table
/*
Number-System
NumberSystem.MantissaToPositiveInteger
[int number]=NumberSystem.MantissaToPositiveInteger(int() mantissa, int systemBase);
Compute the number from a given mantissa series in 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
IsThresholdFunction IsUnateFunction AndXor ToAndOr binary() FromBinary MinValue bool ToPOS ToVariableInvertedFunction logicvardef Nand Not Radixes RadixFromIndex RadixToIndex Or SAT Solve FullTable FastVerificationData SimpleCover TimingChart CreateFromLogicFunctions GetDontCareLogicFunction AdjustLogicVariableCount IndependentBase SemanticEval Xor Zero