34 lines
1.3 KiB
R
34 lines
1.3 KiB
R
tanident_1( 1*atan(1/2) + 1*atan(1/3) )
|
|
## [1] TRUE
|
|
tanident_1( 2*atan(1/3) + 1*atan(1/7))
|
|
## [1] TRUE
|
|
tanident_1( 4*atan(1/5) + -1*atan(1/239))
|
|
## [1] TRUE
|
|
tanident_1( 5*atan(1/7) + 2*atan(3/79))
|
|
## [1] TRUE
|
|
tanident_1( 5*atan(29/278) + 7*atan(3/79))
|
|
## [1] TRUE
|
|
tanident_1( 1*atan(1/2) + 1*atan(1/5) + 1*atan(1/8) )
|
|
## [1] TRUE
|
|
tanident_1( 4*atan(1/5) + -1*atan(1/70) + 1*atan(1/99) )
|
|
## [1] TRUE
|
|
tanident_1( 5*atan(1/7) + 4*atan(1/53) + 2*atan(1/4443))
|
|
## [1] TRUE
|
|
tanident_1( 6*atan(1/8) + 2*atan(1/57) + 1*atan(1/239))
|
|
## [1] TRUE
|
|
tanident_1( 8*atan(1/10) + -1*atan(1/239) + -4*atan(1/515))
|
|
## [1] TRUE
|
|
tanident_1(12*atan(1/18) + 8*atan(1/57) + -5*atan(1/239))
|
|
## [1] TRUE
|
|
tanident_1(16*atan(1/21) + 3*atan(1/239) + 4*atan(3/1042))
|
|
## [1] TRUE
|
|
tanident_1(22*atan(1/28) + 2*atan(1/443) + -5*atan(1/1393) + -10*atan(1/11018))
|
|
## [1] TRUE
|
|
tanident_1(22*atan(1/38) + 17*atan(7/601) + 10*atan(7/8149))
|
|
## [1] TRUE
|
|
tanident_1(44*atan(1/57) + 7*atan(1/239) + -12*atan(1/682) + 24*atan(1/12943))
|
|
## [1] TRUE
|
|
tanident_1(88*atan(1/172) + 51*atan(1/239) + 32*atan(1/682) + 44*atan(1/5357) + 68*atan(1/12943))
|
|
## [1] TRUE
|
|
tanident_1(88*atan(1/172) + 51*atan(1/239) + 32*atan(1/682) + 44*atan(1/5357) + 68*atan(1/12944))
|
|
## [1] FALSE
|