| Current Path : /usr/home/beeson/MathXpert/bin/prover/ |
| Current File : /usr/home/beeson/MathXpert/bin/prover/extrema.o |
ELF > � @ @ UH��SH�� H��I��H��H��L��H��p���H��x���H��`���H��h���L��P���L��X����E� L�E�H�M�H��`���H��h���H��p���H��x���M��I��H��H��� ���� �E�f��u�E�f���� �E�f��/�� H�E�� f���� H�E��@f��u~H�E��@������tH�E��@������uYH�E�H��� f��uIH�E�H���@f��u7H�E�H���@������tH�E�H���@������u
� �k �E�f��-�� H�E�� f��uH�E��@f���� H�E�� f��/�� H�E�H�@� f���� H�E�H�@�@f���� H�E�H�@�@������tH�E�H�@�@������uiH�E�H�@H��� f��uUH�E�H�@H���@f��u?H�E�H�@H���@������tH�E�H�@H���@������u
������n H�E�H�U�H�= H�5 H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� u
� � H� H� H�}�H�u�H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� u
������� H�E�H�U�H�= H�5 H��H��� H��H��H��H��H��H��H��H��� � � H��`���H��h���H��p���H��x���H��H��� H�E�H�U�H��P���H��X���H��H��� ���� H�UH�EH��H��� ���~ H�U�H��P���H��X���H��H��� H�U�H�MH�EH��H��� �E�f. z
f. t�E�f. zf. u
� � �E��M��\��
�^��E�H��h���� �E��E� �� f���*M�� �X�f(��YM��E�H��h����X�� H�U�H�M�H�E�H��H��� �E�f��f/�v'�}� yH��h����E�� � � �E� �M�f�f/�v'�}� ~H��h����E�� � � �E���H��h����E�� �E��}� �-���H�U�H�E�H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� t
� �X �}� ~PH�E�H�U�H�= H�5 H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� ����� �}� y[H� H� H�}�H�u�H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� t
� � ������ H�E�H�U�H�= H�5 H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� u� �SH� H� H�}�H�u�H��H��� H��H��H��H��H��H��H��H��� �Eԃ}� u������� H�]���UH��SH��hH��I��H��H��L��H�u�H�}�H�U�H�M�L�E�L�M�H�M�H�]�H�E�H�U�H�}�H�u��u�uI��I��H��H��� H���E�}� �� H�M�H�]�H�E�H�U�H�}�H�u�H��L�E�API��I��H��H��� H��H�M�H�]�H�E�H�U�H�}H�uH��L�E�API��I��H��H��� H���}� ~-H�M H�E�H�U�H�H�QH�M(H�E�H�U�H�H�Q� �2H�M H�E�H�U�H�H�QH�M(H�E�H�U�H�H�Q� �� H�]��� �u �<�G~ &@�z�G��?�
int
Q � ln Q val � �
� arg &� / t 0 @ i 1 X d 2
f b 3
� (; )C *C +C , ; �
- @ @ f L J � @ @ @ Q �@ � @ J � @ V J � @ @ � @ @
@ J @ le )@ 0 @ @ J U @ @ Q Q hJ I �� u h@ ��x h@ ��a h"@ ��b h*@ � min h3Q �max h>Q � oJ �\ p@ �@ p@ �� J � �u @ ��~x @ ��~a #@ ��~b +@ � p @ ��q
@ �� @ ��i J �\err J �D
J �X ~ z 2f ��za 2f ��zb 2f ��~gap 2f �P 2f �H I $ > :!; 9 I 4 :!; 9 I .?: ; 9 'I< 4 :!; 9 I !I
:!; 9 I
:!; 9 I8
: ; 9 I !: ; 9!
:!; 9 I8
% $ > : ; 9 I : ; 9 & I 4 : ; 9 I?< .?: ; 9 '< .?: ; 9 'I< .?: ; 9 'I@| .?: ; 9 'I@| , � d �
Eu 5 �
J X � � � � .
� Xg �
J � t X < X X
f < X
��� �
�g� �
�g� �� �/ � � .��g
X < X=� �t
�t
Y2gX�g ��vX�g ��
v m� J � .�
h�g ���g �� fX XX [ ��
g u ��
g
uY f
06�7
7g//w//
xY seminumerical float assume subst uofa uofb zero bignum arity args short unsigned int GNU C17 13.2.0 -mtune=generic -march=x86-64 -g infer derivative unsigned char info double monotone saveit symbol flag long unsigned int unsigned int digit char domain deval long long int argtag extrema short int islinear term long int sign long double signed char deriv prover/extrema.c /home/beeson/MathXpert /home/beeson/MathXpert prover . extrema.c extrema.c bignum.h terms.h speed.h prover.h deval.h deriv.h islinear.h constant.h defns.h maketerm.h GCC: (FreeBSD Ports Collection) 13.2.0 zR x � � A�C
H�� @ I A�C
E�? �
� " % + 2 = K Q X � I ` extrema.c monotone islinear zero le infer assume derivative seminumerical deval domain extrema subst }
��������R ��������Y d ���������
��������� ��������� � ���������
��������� ��������� ��������# ��������T ��������u ��������� ��������� ��������� ��������� ��������� ��������� ��������� �������� T � ��������) ��������F
��������n ��������u � ���������
��������� ��������� � ���������
�������� ��������& 1 ��������N
��������e ��������l ���������
�������� ��������Z ��������� ��������
U
*
1
Q 8
� ?
F
B T
� [
7 b
� i
� p
w
~
E �
� �
� �
0 �
�
7 #
� /
= A
2 \
+ h
�
� �
� �
�
� �
� 1
) V
a � �
@ �
! �
& �
� � ^
] �
� � � �
�
"
( &
? *
F 4
H 9
R >
\ C
e H
m M
u R
~ W
� \
� a
� f
� k
� u D � .symtab .strtab .shstrtab .rela.text .data .bss .rodata .rela.debug_info .debug_abbrev .rela.debug_aranges .rela.debug_line .debug_str .debug_line_str .comment .note.GNU-stack .rela.eh_frame @ @ � P & D , D 1 H > ` � 9 @ � P J M � ] �
0 X @ 8 0 q � l @ h � } 0 � c � 0 � � � 0 � ( � � � � ` � @ � 0 8 � 0 f �