-
Notifications
You must be signed in to change notification settings - Fork 10
/
Copy pathl102_sincos10
11 lines (11 loc) · 2.4 KB
/
l102_sincos10
1
2
3
4
5
6
7
8
9
10
11
C * cv2_funct_1 * * * * ck2_partfun1 ck1_numbers ck1_numbers ck1_fdiff_9 * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos
+ * * c& * cv1_funct_1 ck1_fdiff_9 * * cm1_subset_1 ck1_fdiff_9 * ck1_zfmisc_1 * * ck2_zfmisc_1 ck1_numbers ck1_numbers
+ * * cr1_tarski * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos * * ck4_rcomp_1 * * ck10_real_1 ck32_sin_cos c2 ck32_sin_cos
+ * cv5_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers ck1_fdiff_9 * * ck4_rcomp_1 * * ck10_real_1 ck32_sin_cos c2 ck32_sin_cos
+ * ! / b0 * ! / b1 * ! / b2 * * c=> * * c& * cv1_funct_1 b2 * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 ck1_numbers ck1_numbers * * c=> * * c& * * cr1_tarski b0 b1 * cv5_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers b2 b1 * cv5_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers b2 b0
+ * ! / b0 * ! / b1 * * c=> * * c& * cv1_funct_1 b1 * * cm1_subset_1 b1 * ck1_zfmisc_1 * * ck2_zfmisc_1 ck1_numbers ck1_numbers * * c=> * * c| * cv5_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers b1 b0 * cv6_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers b1 b0 * cv2_funct_1 * * * * ck2_partfun1 ck1_numbers ck1_numbers b1 b0
- * ! / b0 * ! / b1 * ! / b2 * ! / b3 * * c=> * * c& * cv1_funct_1 b2 * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * * c& * cv1_funct_1 * * * * ck2_partfun1 b0 b1 b2 b3 * * cm1_subset_1 * * * * ck2_partfun1 b0 b1 b2 b3 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1
- * ! / b0 * ! / b1 * ! / b2 * ! / b3 * * c=> * * c& * cv1_funct_1 b2 * * cm1_subset_1 b2 * ck1_zfmisc_1 * * ck2_zfmisc_1 b0 b1 * * c= * * * * ck2_partfun1 b0 b1 b2 b3 * * ck5_relat_1 b2 b3
- * * c= * * ck2_relset_1 ck1_numbers * * * * ck2_partfun1 ck1_numbers ck1_numbers ck1_fdiff_9 * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos * * ck1_rcomp_1 * ck1_real_1 * ck7_square_1 c2 * ck1_real_1 c1
- * * c= * * ck1_relset_1 ck1_numbers * * * * ck2_partfun1 ck1_numbers ck1_numbers ck1_fdiff_9 * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos
- * cv5_valued_0 * * * * ck2_partfun1 ck1_numbers ck1_numbers * * * * ck2_partfun1 ck1_numbers ck1_numbers ck1_fdiff_9 * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos * * ck1_rcomp_1 * * ck8_real_1 * * ck10_real_1 c3 c4 ck32_sin_cos ck32_sin_cos