NumberSystem.MantissaToPositiveNumber


Back to table

/*
Number-System
NumberSystem.MantissaToPositiveNumber

[real N]=NumberSystem.MantissaToPositiveNumber(int() mantissa, int systemBase);


Compute the real number N>=0 by the mantissa in 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





IsBiUnateFunction IsBiUnateFunctionTo IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndXor FromBinary bool() Diagram DigitalSystem Load logicvardef NumberSystem PositiveIntegerToMantissa Or real SAT ShortestInputsForDistinguishTwoStates StateVariables StateTransitionBasedly ToFeedbackSystem Implementation FastVerificationData MultiCover SimpleCover SimpleInner ComputeDONTCARE Substitute Xor Zero

Search This Website :

 
Buy website traffic cheap