式17: "I" Subscript, "n" "v" "e" "r" "s" "i" "o" "n" 0 , Baseline left parenthesis, "x" , right parenthesis equals "C" Subscript, "d" "i" "v" , Baseline left parenthesis, "x" , "C" Subscript, "m" "u" "l" , Baseline left parenthesis, "x" , "x" , right parenthesis , right parenthesisInversion0x=Cdivx,Cmulx,x
17
We would like to trace I(X) = ( [-10...,10] , 0 ) but we can't have list of lists. We could solve I(x).x is integer via mod()=0, but there are precision issues. So we display epsilon around a value.
18
式19: "I" left parenthesis, "x" , right parenthesis equals absolute value left parenthesis, mod left parenthesis, "I" Subscript, "n" "v" "e" "r" "s" "i" "o" "n" , Baseline left parenthesis, "x" , right parenthesis , 1 , right parenthesis minus .5 , right parenthesisIx=absmodInversionx,1−.5
19
式20: min left parenthesis, "I" left parenthesis, "X" , right parenthesis left bracket, 1 , right bracket , "I" left parenthesis, "X" , right parenthesis left bracket, 2 , right bracket , right parenthesis less than or equal to .0 2minIX1,IX2≤.02
20
式21: left bracket, negative 30...3 0 , right bracket equals "I" Subscript, "n" "v" "e" "r" "s" "i" "o" "n" , Baseline left parenthesis, "X" , right parenthesis left bracket, 1 , right bracket−30...30=InversionX1
21
式22: left bracket, negative 30...3 0 , right bracket equals "I" Subscript, "n" "v" "e" "r" "s" "i" "o" "n" , Baseline left parenthesis, "X" , right parenthesis left bracket, 2 , right bracket−30...30=InversionX2
