-
Notifications
You must be signed in to change notification settings - Fork 0
/
4.7.1 Sine normalization rules.nb
9892 lines (9726 loc) · 558 KB
/
4.7.1 Sine normalization rules.nb
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 7.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 145, 7]
NotebookDataLength[ 561105, 9883]
NotebookOptionsPosition[ 552183, 9651]
NotebookOutlinePosition[ 553771, 9703]
CellTagsIndexPosition[ 553728, 9700]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[Cell[TextData[StyleBox["Rules for normalizing to known sine \
integrands",
FontFamily->"Arial"]], "None"]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.4965234353062396`*^9, {3.5193214825316973`*^9, 3.5193214852617016`*^9}, {
3.523316399894187*^9, 3.5233164032341914`*^9}, {3.523318350558202*^9,
3.5233183516382036`*^9}, {3.536542725780803*^9, 3.536542725780803*^9}, {
3.5367764878952584`*^9, 3.5367764886452594`*^9}, {3.544322815209103*^9,
3.5443228192963104`*^9}, {3.5450662624913826`*^9, 3.545066292141424*^9}, {
3.545066402271579*^9, 3.5450664054415827`*^9}, {3.5450834884295015`*^9,
3.5450834895895033`*^9}, {3.5454961263762493`*^9,
3.5454961321462574`*^9}, {3.5454963863166127`*^9,
3.5454964580867133`*^9}, {3.545497046127537*^9, 3.545497046127537*^9}, {
3.5454971130676303`*^9, 3.545497136257663*^9}, 3.545610399977621*^9, {
3.546040778592962*^9, 3.546040778592962*^9}, {3.5461052065706367`*^9,
3.5461052249474688`*^9}, {3.546191339879622*^9, 3.5461913430596266`*^9}, {
3.5462141824067917`*^9, 3.5462142145768366`*^9}, {3.5462145455473003`*^9,
3.5462145601073203`*^9}, {3.5463149785974817`*^9,
3.5463149794195285`*^9}, {3.5488738437683954`*^9,
3.5488738699084315`*^9}, {3.5488890647645535`*^9, 3.548889080804576*^9}, {
3.5505951583099127`*^9, 3.5505951620351257`*^9}, {3.5505952613798075`*^9,
3.5505952630869055`*^9}, {3.5535321133435373`*^9,
3.5535321173537664`*^9}, {3.5536175341411576`*^9,
3.5536175352411594`*^9}, {3.55396599671187*^9, 3.55396599862998*^9}, {
3.560190530310161*^9, 3.560190628512334*^9}, {3.5602162723838596`*^9,
3.5602162793138695`*^9}, {3.5606249190913877`*^9, 3.560624924321395*^9}, {
3.5617663419995623`*^9, 3.5617663705796027`*^9}, {3.5617666456099873`*^9,
3.561766656350003*^9}, {3.562107691486154*^9, 3.5621077390350375`*^9}, {
3.5621080165751247`*^9, 3.5621080185719285`*^9}, {3.5621081511877613`*^9,
3.5621081511877613`*^9}, {3.5633407304210925`*^9, 3.563340730891093*^9}, {
3.575852587746504*^9, 3.575852593256511*^9}, {3.575852659996605*^9,
3.575852659996605*^9}, {3.575852743186721*^9, 3.575852743186721*^9}, {
3.57585284254686*^9, 3.575852895956935*^9}, {3.575853026617118*^9,
3.575853038617135*^9}, {3.575853153907296*^9, 3.575853185757341*^9}, {
3.575853290447487*^9, 3.575853290447487*^9}, {3.5758553923824325`*^9,
3.5758553923824325`*^9}, {3.5758554525725164`*^9,
3.5758554525725164`*^9}, {3.5970138705004473`*^9,
3.5970138744628544`*^9}, {3.6056575343700123`*^9, 3.605657583815083*^9}, {
3.611889270232338*^9, 3.6118892893923645`*^9}, {3.6118904989040575`*^9,
3.611890534194107*^9}, {3.6119578644741387`*^9, 3.611957871104148*^9}},
TextAlignment->Center,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{Cell[TextData[StyleBox["1.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Trig", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Trig", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}]]]], "None"]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.519250976620308*^9, 3.5192509795375133`*^9}, 3.5192520188581386`*^9, {
3.5193215829334736`*^9, 3.519321595725496*^9}, {3.5194112531544743`*^9,
3.5194112537784753`*^9}, {3.519411537636574*^9, 3.519411568711828*^9}, {
3.519793882583559*^9, 3.519793883878361*^9}, {3.5214731238817034`*^9,
3.521473124371704*^9}, {3.523316505044334*^9, 3.523316505044334*^9}, {
3.5233184226511183`*^9, 3.523318422861119*^9}, 3.5328367822219863`*^9, {
3.5328742732655816`*^9, 3.5328742968684235`*^9}, {3.532874332701686*^9,
3.532874341843302*^9}, {3.532874546156861*^9, 3.532874552443672*^9}, {
3.5328756408887835`*^9, 3.5328756426671867`*^9}, {3.5328756840852594`*^9,
3.532875690340871*^9}, {3.5328775995694237`*^9, 3.532877607619038*^9}, {
3.5330804511936502`*^9, 3.5330804511936502`*^9}, {3.5330827213068285`*^9,
3.5330827218568287`*^9}, {3.5368634501889877`*^9,
3.5368634503449883`*^9}, {3.537654628221073*^9, 3.537654628221073*^9}, {
3.5376556650325246`*^9, 3.5376556690825305`*^9}, {3.5376558319727583`*^9,
3.537655832122759*^9}, {3.5403190180369616`*^9, 3.540319018277975*^9}, {
3.540320078404611*^9, 3.5403200969116697`*^9}, {3.54497301407633*^9,
3.5449730147315316`*^9}, {3.5449730455259857`*^9, 3.54497310485289*^9},
3.5449734027198133`*^9, {3.544973705703545*^9, 3.5449737123023567`*^9}, {
3.5449743847103376`*^9, 3.5449743847103376`*^9}, {3.5449897190542192`*^9,
3.5449897371142445`*^9}, 3.54501330464754*^9, 3.5450140205483975`*^9, {
3.5450140745556927`*^9, 3.545014074867693*^9}, {3.545014174442668*^9,
3.5450141765018716`*^9}, 3.5450143633121996`*^9, {3.5450664467216406`*^9,
3.5450664468916407`*^9}, {3.5450708578278165`*^9, 3.545070858737818*^9}, {
3.5454157832263145`*^9, 3.5454158086387587`*^9}, {3.5454159825478644`*^9,
3.54541600849071*^9}, {3.5454302617354054`*^9, 3.5454302618654056`*^9},
3.5454968316872363`*^9, {3.545499279040663*^9, 3.545499279340663*^9}, {
3.5454995447410345`*^9, 3.5454995452610354`*^9}, 3.54550074137271*^9, {
3.54550107702318*^9, 3.5455010772431803`*^9}, 3.5455014895037575`*^9,
3.5455017531441264`*^9, {3.5455036281367517`*^9, 3.545503628336752*^9},
3.545520129082264*^9, {3.5455208855433235`*^9, 3.545520885973324*^9}, {
3.545520964293433*^9, 3.5455210208435125`*^9}, {3.545529041549029*^9,
3.545529065459062*^9}, {3.5455293083994026`*^9, 3.5455293521794634`*^9}, {
3.5455294046695375`*^9, 3.5455294056895385`*^9}, {3.5455295327397165`*^9,
3.5455295327397165`*^9}, {3.545577377053981*^9, 3.5455774501340833`*^9},
3.545577510944168*^9, 3.546115756337967*^9, 3.5468835263890266`*^9, {
3.5468896017375326`*^9, 3.546889622177561*^9}, {3.547236869117025*^9,
3.5472368693270254`*^9}, {3.579114108869728*^9, 3.5791141164197383`*^9}, {
3.5791170016237783`*^9, 3.5791170206838045`*^9}, 3.5791312681594534`*^9,
3.606587173800412*^9, 3.606606249463797*^9, {3.606606335183917*^9,
3.606606335183917*^9}, {3.60660658736427*^9, 3.6066065873742704`*^9},
3.608571924224557*^9, {3.6118893562124577`*^9, 3.6118894123725367`*^9}, {
3.611889646472864*^9, 3.6118896466628647`*^9}, {3.6118897275829782`*^9,
3.6118897384129934`*^9}, {3.6119558307512913`*^9, 3.61195587244135*^9}, {
3.611956255961887*^9, 3.6119562822419233`*^9}, {3.611956390842076*^9,
3.611956390842076*^9}, {3.6119569527728624`*^9, 3.6119569527728624`*^9}, {
3.6119576030837727`*^9, 3.6119576030837727`*^9}, {3.6119580973544645`*^9,
3.6119581314145126`*^9}, 3.6119583495348177`*^9, {3.6119585749651337`*^9,
3.6119585751751337`*^9}, 3.61195902967577*^9, {3.6119641428463316`*^9,
3.6119641458863363`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["1.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Trig", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}]]]], "None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.519250976620308*^9, 3.5192509795375133`*^9}, 3.5192520188581386`*^9, {
3.5193215829334736`*^9, 3.519321595725496*^9}, {3.5194112531544743`*^9,
3.5194112537784753`*^9}, {3.519411537636574*^9, 3.519411568711828*^9}, {
3.519793882583559*^9, 3.519793883878361*^9}, {3.5214731238817034`*^9,
3.521473124371704*^9}, {3.523316505044334*^9, 3.523316505044334*^9}, {
3.5233184226511183`*^9, 3.523318422861119*^9}, 3.5328367822219863`*^9, {
3.5328742732655816`*^9, 3.5328742968684235`*^9}, {3.532874332701686*^9,
3.532874341843302*^9}, {3.532874546156861*^9, 3.532874552443672*^9}, {
3.5328756408887835`*^9, 3.5328756426671867`*^9}, {3.5328756840852594`*^9,
3.532875690340871*^9}, {3.5328775995694237`*^9, 3.532877607619038*^9}, {
3.5330804511936502`*^9, 3.5330804511936502`*^9}, {3.5330827213068285`*^9,
3.5330827218568287`*^9}, {3.5368634501889877`*^9,
3.5368634503449883`*^9}, {3.537654628221073*^9, 3.537654628221073*^9}, {
3.5376556650325246`*^9, 3.5376556690825305`*^9}, {3.5376558319727583`*^9,
3.537655832122759*^9}, {3.5403190180369616`*^9, 3.540319018277975*^9}, {
3.540320078404611*^9, 3.5403200969116697`*^9}, {3.54497301407633*^9,
3.5449730147315316`*^9}, {3.5449730455259857`*^9, 3.54497310485289*^9},
3.5449734027198133`*^9, {3.544973705703545*^9, 3.5449737123023567`*^9}, {
3.5449743847103376`*^9, 3.5449743847103376`*^9}, {3.5449897190542192`*^9,
3.5449897371142445`*^9}, 3.54501330464754*^9, 3.5450140205483975`*^9, {
3.5450140745556927`*^9, 3.545014074867693*^9}, {3.545014174442668*^9,
3.5450141765018716`*^9}, 3.5450143633121996`*^9, {3.5450664467216406`*^9,
3.5450664468916407`*^9}, {3.5450708578278165`*^9, 3.545070858737818*^9}, {
3.5454157832263145`*^9, 3.5454158086387587`*^9}, {3.5454159825478644`*^9,
3.54541600849071*^9}, {3.5454302617354054`*^9, 3.5454302618654056`*^9},
3.5454968316872363`*^9, {3.545499279040663*^9, 3.545499279340663*^9}, {
3.5454995447410345`*^9, 3.5454995452610354`*^9}, 3.54550074137271*^9, {
3.54550107702318*^9, 3.5455010772431803`*^9}, 3.5455014895037575`*^9,
3.5455017531441264`*^9, {3.5455036281367517`*^9, 3.545503628336752*^9},
3.545520129082264*^9, {3.5455208855433235`*^9, 3.545520885973324*^9}, {
3.545520964293433*^9, 3.5455210208435125`*^9}, {3.545529041549029*^9,
3.545529065459062*^9}, {3.5455293083994026`*^9, 3.5455293521794634`*^9}, {
3.5455294046695375`*^9, 3.5455294056895385`*^9}, {3.5455295327397165`*^9,
3.5455295327397165`*^9}, {3.545577377053981*^9, 3.5455774501340833`*^9},
3.545577510944168*^9, 3.546115756337967*^9, 3.5468835263890266`*^9, {
3.5468896017375326`*^9, 3.546889622177561*^9}, {3.547236869117025*^9,
3.5472368693270254`*^9}, {3.579114108869728*^9, 3.5791141164197383`*^9}, {
3.5791170016237783`*^9, 3.5791170206838045`*^9}, 3.5791312681594534`*^9,
3.606587173800412*^9, 3.606606249463797*^9, {3.606606335183917*^9,
3.606606335183917*^9}, {3.60660658736427*^9, 3.6066065873742704`*^9},
3.608571924224557*^9, {3.6118893562124577`*^9, 3.6118894123725367`*^9}, {
3.611889646472864*^9, 3.6118896466628647`*^9}, {3.6118897275829782`*^9,
3.6118897384129934`*^9}, {3.6119558307512913`*^9, 3.61195587244135*^9}, {
3.611956255961887*^9, 3.6119562822419233`*^9}, {3.611956390842076*^9,
3.611956390842076*^9}, {3.6119569527728624`*^9, 3.6119569527728624`*^9}, {
3.6119576030837727`*^9, 3.6119576030837727`*^9}, {3.6119580973544645`*^9,
3.6119581314145126`*^9}, 3.6119583495348177`*^9, {3.6119585749651337`*^9,
3.6119585751751337`*^9}, 3.61195902967577*^9, {3.611959078735839*^9,
3.6119590827658443`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t\t",
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}], " ", "\[And]", " ",
RowBox[{"m", "\[NotElement]", "\[DoubleStruckCapitalZ]"}]}]]]],
"None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.4965117206885777`*^9, 3.5192471175756674`*^9, {3.5192587973599553`*^9,
3.5192588081399703`*^9}, {3.519321495105319*^9, 3.5193214991925263`*^9},
3.5193247857072587`*^9, {3.5194051897010813`*^9, 3.5194051902791147`*^9}, {
3.5194055551249824`*^9, 3.5194055708408813`*^9}, {3.519405711316916*^9,
3.51940572904193*^9}, {3.519410772192028*^9, 3.5194107776364374`*^9}, {
3.519413782484516*^9, 3.519413782827717*^9}, {3.519767588664174*^9,
3.519767611128214*^9}, {3.5197937941314034`*^9, 3.519793794568204*^9}, {
3.5197947626591043`*^9, 3.519794764749508*^9}, {3.519794865354085*^9,
3.519794874355301*^9}, {3.523218063086026*^9, 3.523218070356036*^9}, {
3.523316514684347*^9, 3.523316514684347*^9}, {3.5233165475343933`*^9,
3.5233165475343933`*^9}, {3.5233184331871357`*^9,
3.5233184334271364`*^9}, {3.5273599103435545`*^9, 3.527359910608755*^9}, {
3.5326424241029196`*^9, 3.53264242435292*^9}, {3.5326584126048727`*^9,
3.532658412794873*^9}, {3.532726454021428*^9, 3.5327264542814283`*^9}, {
3.5327554047263184`*^9, 3.532755404993334*^9}, {3.532798666112293*^9,
3.532798676322307*^9}, {3.5328778343810363`*^9, 3.5328778343810363`*^9},
3.5330758294771795`*^9, {3.5330827570868783`*^9, 3.533082757336879*^9}, {
3.534975097668671*^9, 3.534975097888672*^9}, {3.536863459221404*^9,
3.536863459439804*^9}, {3.540264711953947*^9, 3.5402647253239655`*^9}, {
3.540264783504047*^9, 3.540264783504047*^9}, {3.540502117527218*^9,
3.540502117997218*^9}, {3.540502551737826*^9, 3.540502551937826*^9}, {
3.5449015667548094`*^9, 3.5449015920048447`*^9}, {3.544901714065016*^9,
3.544901727955035*^9}, 3.544911958524931*^9, {3.5449122781717815`*^9,
3.5449122781717815`*^9}, {3.5455187047402697`*^9,
3.5455187052402706`*^9}, {3.545518898070541*^9, 3.545518911130559*^9}, {
3.5455202868524847`*^9, 3.5455202868524847`*^9}, {3.545520317832528*^9,
3.545520339272558*^9}, {3.545520578812894*^9, 3.545520601212925*^9}, {
3.545520817443228*^9, 3.545520820373232*^9}, {3.545578383065389*^9,
3.545578398615411*^9}, {3.5461099987254543`*^9, 3.54611000814787*^9}, {
3.546110085383606*^9, 3.546110115616459*^9}, {3.546113143676578*^9,
3.5461131599162064`*^9}, {3.546113861589839*^9, 3.546113902539911*^9}, {
3.546114166008774*^9, 3.546114166008774*^9}, {3.5461157697071905`*^9,
3.546115770081591*^9}, {3.546881285463888*^9, 3.546881338233962*^9}, {
3.5468816904144554`*^9, 3.5468817054644766`*^9}, {3.5468819496848183`*^9,
3.5468819496848183`*^9}, {3.5468853333415565`*^9, 3.5468853339615574`*^9},
3.546885636591981*^9, {3.546885925232385*^9, 3.546885925772386*^9}, {
3.547070910324896*^9, 3.547070910544896*^9}, {3.5472382543189645`*^9,
3.547238254628965*^9}, {3.547249217104528*^9, 3.5472492172745285`*^9}, {
3.5472502310559473`*^9, 3.5472502313059483`*^9}, {3.5473244459150295`*^9,
3.5473244989090605`*^9}, 3.5473248197784133`*^9, {3.547829048232483*^9,
3.547829048669284*^9}, 3.547833784491141*^9, {3.547838047954945*^9,
3.5478380481149454`*^9}, {3.547840750288728*^9, 3.547840768558754*^9}, {
3.5478523710583363`*^9, 3.547852371208336*^9}, {3.547856471598878*^9,
3.5478564760188837`*^9}, 3.5634862943479223`*^9, {3.5786867364935455`*^9,
3.5786867694235916`*^9}, {3.597022810925351*^9, 3.5970228110969515`*^9}, {
3.6118795009386606`*^9, 3.6118795088386717`*^9}, {3.6118799708393183`*^9,
3.6118799729893217`*^9}, 3.6118804207699485`*^9, 3.611880838210533*^9, {
3.611881404601326*^9, 3.6118814229213514`*^9}, {3.611882404982726*^9,
3.6118824064627285`*^9}, 3.6118888054916873`*^9, 3.6118895658927517`*^9, {
3.6118896193628263`*^9, 3.611889619612827*^9}, {3.6119551465703335`*^9,
3.6119551540003443`*^9}, {3.6119552772205167`*^9, 3.611955281520523*^9}, {
3.6119557171011324`*^9, 3.6119557171011324`*^9}, {3.6119558784013586`*^9,
3.6119558907313757`*^9}, {3.611956585872349*^9, 3.6119565947323613`*^9}, {
3.6119568247426834`*^9, 3.611956833532696*^9}, {3.611956959112871*^9,
3.611956959112871*^9}, {3.6119571116430845`*^9, 3.6119571116430845`*^9}, {
3.611958173944572*^9, 3.611958190264595*^9}, {3.61195831562477*^9,
3.6119583163447714`*^9}, 3.611958426384926*^9, {3.611958700085309*^9,
3.6119587003553095`*^9}, {3.611958981415703*^9, 3.6119589884757123`*^9}, {
3.611959042425788*^9, 3.6119590427557883`*^9}, 3.611959084505847*^9, {
3.6120249915014796`*^9, 3.6120249992114906`*^9}, {3.61202506326158*^9,
3.61202506326158*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Piecewise constant extraction", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975780869725127`*^9, 3.4975780962225256`*^9}, {3.4976627907155895`*^9,
3.497662798718403*^9}}],
Cell[TextData[{
"Basis: ",
Cell[BoxData[
RowBox[{
RowBox[{
SubscriptBox["\[PartialD]", "x"],
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]}],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]]}], "\[Equal]",
"0"}]]]
}], "Subsubsection",
CellChangeTimes->{
3.4964418130913677`*^9, {3.496442428087432*^9, 3.4964424330170403`*^9},
3.496528894323882*^9, 3.4975761400971813`*^9, {3.4975778216221414`*^9,
3.497577829892153*^9}, {3.4975827089309845`*^9, 3.4975827138509912`*^9},
3.497639710530856*^9, 3.4976397495153246`*^9, {3.497640194989707*^9,
3.4976402054105253`*^9}, 3.497640444886546*^9, {3.50474982887571*^9,
3.504749836455721*^9}, {3.5047498695657673`*^9, 3.5047498727757716`*^9}, {
3.5107881322665586`*^9, 3.5107881705866117`*^9}, {3.510788449847003*^9,
3.510788449847003*^9}, {3.5131325965637026`*^9, 3.5131325965637026`*^9}, {
3.5131326285737476`*^9, 3.5131326291037483`*^9}, {3.5468800663921814`*^9,
3.5468800663921814`*^9}, {3.546885649491999*^9, 3.546885649491999*^9}, {
3.547324727843155*^9, 3.547324740200862*^9}, {3.5786817784366045`*^9,
3.5786817784366045`*^9}, {3.6118803485398474`*^9,
3.6118803721998806`*^9}, {3.611880969580717*^9, 3.611880969580717*^9}, {
3.611955046510194*^9, 3.611955048810197*^9}, {3.6119555912809563`*^9,
3.6119555912809563`*^9}, {3.611959244746071*^9, 3.611959244746071*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}], " ", "\[And]", " ",
RowBox[{"m", "\[NotElement]", "\[DoubleStruckCapitalZ]"}]}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975778737222147`*^9, 3.4975778945722437`*^9}, {3.4976396822792068`*^9,
3.49763968986082*^9}, {3.497639771433363*^9, 3.49763978104298*^9}, {
3.4976638984111347`*^9, 3.4976639153215647`*^9}, {3.4976645939383564`*^9,
3.497664598805565*^9}, {3.4976646480080514`*^9, 3.4976646992229414`*^9}, {
3.4976647966763124`*^9, 3.497664832415975*^9}, 3.497664903037299*^9, {
3.4986779242986293`*^9, 3.498677947778662*^9}, {3.499179738750054*^9,
3.499179740902858*^9}, {3.499213316063504*^9, 3.4992133345435305`*^9}, {
3.499358051967739*^9, 3.4993580717017736`*^9}, {3.4993592718267775`*^9,
3.4993592794067883`*^9}, {3.499363873578274*^9, 3.4993638796182823`*^9}, {
3.50031965968463*^9, 3.5003196639146357`*^9}, {3.5004320083900976`*^9,
3.5004320093321514`*^9}, {3.5013559257793446`*^9,
3.5013559257793446`*^9}, {3.5013564069000177`*^9, 3.501356418530034*^9}, {
3.5026761650200815`*^9, 3.5026762017401333`*^9}, {3.5026762588802133`*^9,
3.5026762588802133`*^9}, {3.5026784726933126`*^9,
3.5026784726933126`*^9}, {3.5027658552205725`*^9,
3.5027658552205725`*^9}, {3.5027672224669743`*^9,
3.5027672224669743`*^9}, {3.5037105948225365`*^9, 3.503710605582552*^9}, {
3.5037107610527697`*^9, 3.5037107610527697`*^9}, 3.503812941222491*^9, {
3.5040286741277885`*^9, 3.50402867512619*^9}, 3.504031838526546*^9,
3.504311148611575*^9, {3.504764105847949*^9, 3.5047641154079623`*^9}, {
3.5047641477280073`*^9, 3.504764147948008*^9}, 3.505005742172364*^9, {
3.5080368114491596`*^9, 3.5080368579840417`*^9}, 3.5080374691155157`*^9, {
3.5105233710346155`*^9, 3.510523371184616*^9}, {3.5105252878872995`*^9,
3.510525294107308*^9}, {3.51052584282408*^9, 3.51052584282408*^9}, {
3.510788027396412*^9, 3.510788030076415*^9}, {3.5107882657767453`*^9,
3.5107883208568225`*^9}, {3.510789664430705*^9, 3.5107896743807187`*^9},
3.510790463911824*^9, {3.510790613852034*^9, 3.5107906179920397`*^9}, {
3.510813336637003*^9, 3.510813336637003*^9}, {3.5108459293657985`*^9,
3.5108459592866507`*^9}, {3.5139582932649612`*^9,
3.5139582932649612`*^9}, {3.5144735590171833`*^9, 3.514473561965588*^9}, {
3.5144737101346483`*^9, 3.514473715157857*^9}, {3.514473763190342*^9,
3.514473764578744*^9}, {3.5144794121226625`*^9, 3.5144794127622643`*^9}, {
3.5145737646985273`*^9, 3.5145737646985273`*^9}, {3.514854592621193*^9,
3.514854595179598*^9}, 3.546877698838867*^9, {3.5473248738785076`*^9,
3.547324883421054*^9}, {3.6118814206813483`*^9, 3.6118814206813483`*^9}, {
3.611955288050532*^9, 3.611955288050532*^9}, {3.6119557225811405`*^9,
3.6119557225811405`*^9}, {3.6119565887323527`*^9, 3.611956589492354*^9}, {
3.611956623872402*^9, 3.611956623872402*^9}, {3.611957126793106*^9,
3.611957126793106*^9}, {3.6119587756154146`*^9, 3.6119587756154146`*^9}, {
3.612025005461499*^9, 3.612025005461499*^9}, {3.612025074101595*^9,
3.612025074101595*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]}],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]]}]}],
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}],
RowBox[{"m", "+", "n"}]]}],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579732027807`*^9, 3.479658002474872*^9}, {
3.4796580599975853`*^9, 3.4796580609489536`*^9}, {3.479658295195784*^9,
3.47965829684816*^9}, 3.4796611938939075`*^9, 3.4796613924794593`*^9, {
3.479661443342597*^9, 3.479661446647349*^9}, {3.479661576554146*^9,
3.479661589302477*^9}, 3.479661847553824*^9, {3.4796622294729967`*^9,
3.4796622450654173`*^9}, {3.479686720424531*^9, 3.4796867204345455`*^9}, {
3.4796874646646957`*^9, 3.4796874745589232`*^9}, {3.492826573513727*^9,
3.492826578630536*^9}, {3.4928267070863624`*^9, 3.492826707460763*^9},
3.4928267903497095`*^9, {3.492829799151373*^9, 3.4928299617216005`*^9}, {
3.4940972077187414`*^9, 3.4940972347887793`*^9}, {3.496441851501421*^9,
3.496441872881451*^9}, {3.496528916553913*^9, 3.4965289272239285`*^9}, {
3.497576165747217*^9, 3.4975761801372375`*^9}, {3.497577761382057*^9,
3.4975777938921027`*^9}, 3.49763959300025*^9, 3.497639634480723*^9,
3.4976398417426867`*^9, {3.49766381031778*^9, 3.4976638350282235`*^9}, {
3.49766435104593*^9, 3.497664390373599*^9}, {3.4976647278489914`*^9,
3.4976647419046164`*^9}, {3.497664869980841*^9, 3.497664887437272*^9}, {
3.498761171082196*^9, 3.498761171082196*^9}, {3.4987645684369526`*^9,
3.4987646442070584`*^9}, {3.49883740188522*^9, 3.4988375207310295`*^9}, {
3.498837939529365*^9, 3.498837958467798*^9}, 3.498875518717125*^9, {
3.4991794250335026`*^9, 3.499179452879552*^9}, {3.4991796787211485`*^9,
3.499179681529153*^9}, {3.4991961982482667`*^9, 3.4991962392763386`*^9}, {
3.499196653100665*^9, 3.4991966955639396`*^9}, {3.499197135282312*^9,
3.499197176918785*^9}, {3.499197690444487*^9, 3.499197694048094*^9}, {
3.499212356332161*^9, 3.4992123865622034`*^9}, {3.499212421412252*^9,
3.499212423032254*^9}, {3.4992126233625345`*^9, 3.499212696332637*^9}, {
3.499357348905704*^9, 3.4993574380910606`*^9}, {3.4993588274861555`*^9,
3.4993589039462624`*^9}, {3.499359110096551*^9, 3.4993591137965565`*^9}, {
3.4993752824791145`*^9, 3.4993752993591385`*^9}, {3.4994041904561324`*^9,
3.4994041927361355`*^9}, {3.499404246686211*^9, 3.499404275156251*^9}, {
3.499404742476905*^9, 3.4994047525269194`*^9}, {3.500317978262911*^9,
3.500317979417313*^9}, 3.500318137887991*^9, {3.5013559487293763`*^9,
3.501355958849391*^9}, {3.502675715869453*^9, 3.502675816299594*^9}, {
3.5026759394697657`*^9, 3.50267594261977*^9}, {3.503710177051952*^9,
3.503710199091983*^9}, {3.503710750612755*^9, 3.5037107533527584`*^9}, {
3.5038127194681015`*^9, 3.503812750902157*^9}, {3.503812801680246*^9,
3.503812802335447*^9}, {3.5047496671454835`*^9, 3.504749688715514*^9}, {
3.504749718855556*^9, 3.50474975738561*^9}, {3.5047638556975985`*^9,
3.504763901217663*^9}, {3.508036862352049*^9, 3.5080368741144695`*^9}, {
3.5080369099321327`*^9, 3.5080369437529917`*^9}, {3.5080372899175997`*^9,
3.5080373156732454`*^9}, {3.5105229603279085`*^9, 3.510522986598355*^9}, {
3.51052302367962*^9, 3.5105231196509886`*^9}, {3.510523163455866*^9,
3.5105231707566786`*^9}, {3.510524911966773*^9, 3.510524925296792*^9}, {
3.510525184087154*^9, 3.510525188787161*^9}, {3.510787470405632*^9,
3.5107874992156725`*^9}, {3.510788066946467*^9, 3.5107880746864777`*^9}, {
3.510788210246668*^9, 3.510788212636671*^9}, {3.510788384636912*^9,
3.5107883946369257`*^9}, {3.5107885351071224`*^9,
3.5107885379071264`*^9}, {3.5107887441574154`*^9, 3.5107887467174187`*^9},
3.5108457922571573`*^9, {3.5131323613533735`*^9, 3.5131323778533964`*^9}, {
3.513132420543456*^9, 3.513132420753456*^9}, {3.515189850835873*^9,
3.5151898680858974`*^9}, 3.546885680512043*^9, 3.5478338233183613`*^9, {
3.5478338584213696`*^9, 3.547833866427828*^9}, {3.5478340717395706`*^9,
3.5478340959749565`*^9}, 3.5478407467287235`*^9, {3.5478407907687845`*^9,
3.5478408026588016`*^9}, 3.5478497271446342`*^9, {3.563486295957925*^9,
3.5634862964479256`*^9}, {3.5786868028436384`*^9, 3.578686816243657*^9}, {
3.6118799730093217`*^9, 3.6118799731493216`*^9}, {3.6118801437595606`*^9,
3.611880149619569*^9}, {3.611880187689622*^9, 3.6118802149696603`*^9}, {
3.6118802561897182`*^9, 3.611880276199746*^9}, {3.6118803184198055`*^9,
3.6118803280698185`*^9}, {3.6118803943899117`*^9, 3.6118803966299148`*^9},
3.611880848160547*^9, {3.6118809347006683`*^9, 3.611880941910678*^9}, {
3.6118809797907314`*^9, 3.6118809932407503`*^9}, {3.611888810731694*^9,
3.611888824851714*^9}, {3.611954996750124*^9, 3.6119550395501842`*^9},
3.6119550742102327`*^9, {3.611955130120311*^9, 3.6119551355103188`*^9}, {
3.61195686540274*^9, 3.6119568660227413`*^9}, {3.611956925242824*^9,
3.6119569333828354`*^9}, 3.611958205354616*^9, 3.611958337174801*^9, {
3.6119584465149536`*^9, 3.6119584973250246`*^9}, 3.6119592199460363`*^9,
3.6119592521260815`*^9, {3.61195929397614*^9, 3.6119593191061754`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u_", "*",
RowBox[{
RowBox[{"(",
RowBox[{"c_.", "*",
RowBox[{"tan", "[",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*", "x_"}]}], "]"}]}], ")"}], "^", "m_."}], "*",
RowBox[{
RowBox[{"(",
RowBox[{"d_.", "*",
RowBox[{"sin", "[",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*", "x_"}]}], "]"}]}], ")"}], "^", "n_."}]}], ",",
"x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"c", "*",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", "*", "x"}]}], "]"}]}], ")"}], "^", "m"}], "*",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"d", "*",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", "*", "x"}]}], "]"}]}], ")"}], "^", "m"}], "/",
RowBox[{
RowBox[{"(",
RowBox[{"d", "*",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", "*", "x"}]}], "]"}]}], ")"}], "^", "m"}]}], "*",
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{"ActivateTrig", "[", "u", "]"}], "*",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"d", "*",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", "*", "x"}]}], "]"}]}], ")"}], "^",
RowBox[{"(",
RowBox[{"m", "+", "n"}], ")"}]}], "/",
RowBox[{
RowBox[{"(",
RowBox[{"d", "*",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", "*", "x"}]}], "]"}]}], ")"}], "^", "m"}]}]}], ",",
"x"}], "]"}]}], " ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "c", ",", "d", ",", "m", ",", "n"}], "}"}],
",", "x"}], "]"}], " ", "&&", " ",
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}], " ", "&&", " ",
RowBox[{"Not", "[",
RowBox[{"IntegerQ", "[", "m", "]"}], "]"}]}]}]}]], "Code",
CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9},
3.496441834031397*^9, 3.496442095051762*^9, 3.496528791863739*^9,
3.496528888643874*^9, 3.497575939976901*^9, 3.4975761146971455`*^9,
3.4975775509417624`*^9, 3.497577752792045*^9, 3.4975834953320856`*^9,
3.4976395861674376`*^9, 3.4976397432129135`*^9, 3.4976633737510133`*^9,
3.497663791067346*^9, 3.497664242469739*^9, {3.49766439658241*^9,
3.497664398470013*^9}, 3.497664769079864*^9, {3.4986774515679674`*^9,
3.49867746046798*^9}, {3.498761171092196*^9, 3.4987611711021957`*^9}, {
3.4987647642072268`*^9, 3.4987647797772484`*^9}, {3.4987662584793186`*^9,
3.498766258909319*^9}, {3.4987729599087005`*^9, 3.4987729607687016`*^9},
3.4988018581019883`*^9, {3.499179579551774*^9, 3.4991796094414263`*^9}, {
3.499179689157567*^9, 3.499179691637971*^9}, {3.4991797663621025`*^9,
3.499179767407304*^9}, {3.499179868308281*^9, 3.499179869805884*^9},
3.499180259000168*^9, {3.499197395157969*^9, 3.499197401054779*^9}, {
3.499212499112361*^9, 3.49921251269238*^9}, {3.499212715522664*^9,
3.4992127382126956`*^9}, {3.4992128038327875`*^9,
3.4992128061327906`*^9}, {3.499213982604438*^9, 3.499214025174497*^9}, {
3.499214066304555*^9, 3.499214072114563*^9}, {3.4992145411652193`*^9,
3.4992145475152283`*^9}, 3.4993574899767523`*^9, {3.4993576909831047`*^9,
3.4993577157403483`*^9}, 3.4993578086385117`*^9, {3.4993579390391407`*^9,
3.4993579651067867`*^9}, {3.4993580774113836`*^9, 3.4993580785501857`*^9},
3.499358991716386*^9, {3.4993590256364326`*^9, 3.499359034196445*^9},
3.499359158156618*^9, {3.499359230066719*^9, 3.4993592406667337`*^9}, {
3.499363855658249*^9, 3.499363864218261*^9}, {3.4993753165091624`*^9,
3.499375327739178*^9}, {3.500317979448513*^9, 3.500317979729314*^9}, {
3.500318356413175*^9, 3.5003183706092*^9}, {3.500319044263768*^9,
3.5003190515337787`*^9}, {3.500321448217134*^9, 3.5003214542871428`*^9}, {
3.500432003250804*^9, 3.5004320043278656`*^9}, {3.5010431659740324`*^9,
3.5010431675511227`*^9}, {3.5013560814295626`*^9,
3.5013561004895887`*^9}, {3.50135618678971*^9, 3.5013562181997538`*^9}, {
3.5013562556298065`*^9, 3.5013562631598167`*^9}, {3.5013563481499357`*^9,
3.501356350129938*^9}, {3.5013563916299963`*^9, 3.501356393369999*^9},
3.501356538350202*^9, {3.5013565824102635`*^9, 3.5013565889502726`*^9},
3.502675840959628*^9, {3.5026759066297197`*^9, 3.502675919529738*^9}, {
3.5026760125798683`*^9, 3.5026760334598975`*^9}, {3.5026762053901386`*^9,
3.5026762059201393`*^9}, {3.5026762389901853`*^9, 3.5026762460801954`*^9},
3.5027656584730268`*^9, 3.5027671152479863`*^9, {3.5030718189880323`*^9,
3.5030718291780467`*^9}, 3.5037104243322983`*^9, {3.5037104552623415`*^9,
3.503710552022477*^9}, {3.503710643442605*^9, 3.5037106540026197`*^9}, {
3.50371079008281*^9, 3.503710799252823*^9}, 3.503711336573575*^9,
3.503812879274782*^9, 3.503812944763697*^9, {3.5047499105558243`*^9,
3.5047499251058445`*^9}, 3.504749962655897*^9, 3.50475000012595*^9, {
3.5047639369577127`*^9, 3.5047639996578007`*^9}, {3.508012492437707*^9,
3.5080125039037275`*^9}, {3.50803744317267*^9, 3.5080375004559703`*^9}, {
3.5080380525409403`*^9, 3.508038060340954*^9}, {3.510523241955203*^9,
3.5105233462245812`*^9}, {3.5105249344968047`*^9,
3.5105249997668962`*^9}, {3.510525218367202*^9, 3.510525225307212*^9},
3.5105258453340836`*^9, 3.5105261705445385`*^9, 3.5105287370781317`*^9, {
3.510787941316291*^9, 3.5107879840363507`*^9}, {3.510788306106802*^9,
3.5107883445268555`*^9}, {3.510788495777067*^9, 3.510788532967119*^9}, {
3.5107885649971647`*^9, 3.5107885715471735`*^9}, {3.5107887756674595`*^9,
3.5107888160375156`*^9}, {3.5107888710675926`*^9,
3.5107888724475946`*^9}, {3.5107889881877565`*^9, 3.510788989037758*^9}, {
3.5107928401111546`*^9, 3.510792841351156*^9}, 3.5108457831935415`*^9, {
3.510846001328725*^9, 3.510846064976836*^9}, {3.513131395797769*^9,
3.513131399357774*^9}, 3.5131323576833677`*^9, {3.5131323906034145`*^9,
3.513132417463452*^9}, {3.5131325388836217`*^9, 3.513132546123632*^9}, {
3.5131325769336753`*^9, 3.5131325801636796`*^9}, {3.5131331771845245`*^9,
3.5131331862945375`*^9}, {3.5131332889746814`*^9,
3.5131332972246933`*^9}, {3.5131335146549973`*^9,
3.5131335296350183`*^9}, {3.513133661945204*^9, 3.513133678455227*^9}, {
3.5131339717796397`*^9, 3.5131339953896728`*^9}, {3.513134136819871*^9,
3.513134142779879*^9}, {3.513134194099951*^9, 3.513134228389999*^9},
3.513135208281024*^9, {3.5159796813628283`*^9, 3.51597968248603*^9},
3.5413119976144886`*^9, {3.545492119969138*^9, 3.5454921199891386`*^9}, {
3.546879413561268*^9, 3.5468794145812693`*^9}, {3.546880355902587*^9,
3.54688035810259*^9}, 3.5468809305833917`*^9, {3.5468856966520653`*^9,
3.546885724212104*^9}, 3.547001294070572*^9, 3.5472725592425313`*^9, {
3.5473246919050994`*^9, 3.547324701089625*^9}, 3.5473531267859607`*^9, {
3.547834133131082*^9, 3.5478341349381857`*^9}, {3.5478408609988832`*^9,
3.5478408831989145`*^9}, {3.5478409132889566`*^9, 3.54784092288897*^9}, {
3.547849828794777*^9, 3.547849834604785*^9}, {3.5634862971079264`*^9,
3.5634862982479277`*^9}, 3.578686781933609*^9, 3.578686885203754*^9,
3.5786870012639165`*^9, {3.578687071724015*^9, 3.5786870744540186`*^9}, {
3.6118799893593445`*^9, 3.6118800185393853`*^9}, {3.6118804392499743`*^9,
3.611880498930058*^9}, 3.611880554090135*^9, {3.611881031500804*^9,
3.611881084690878*^9}, 3.6118813928413095`*^9, 3.611881428251359*^9, {
3.61188882886172*^9, 3.611888866091772*^9}, {3.611954875999955*^9,
3.611954943380049*^9}, {3.611954980410101*^9, 3.6119549905601153`*^9}, {
3.6119550812602425`*^9, 3.6119550856502485`*^9}, {3.611955120520297*^9,
3.6119551278603077`*^9}, {3.611955167310363*^9, 3.6119551942004004`*^9},
3.6119552420804677`*^9, {3.611956628142408*^9, 3.6119566299824104`*^9}, {
3.6119568540327244`*^9, 3.611956854552725*^9}, {3.6119570210029583`*^9,
3.6119570441529903`*^9}, {3.6119570882330523`*^9, 3.611957102363072*^9}, {
3.611958595415162*^9, 3.6119586620452557`*^9}, {3.611959340146205*^9,
3.61195934392621*^9}, 3.6119593969262843`*^9, 3.6120250453015547`*^9},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t\t",
RowBox[{Cell[TextData[StyleBox["2:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "n"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}], " ", "\[And]", " ",
RowBox[{"m", "\[NotElement]", "\[DoubleStruckCapitalZ]"}]}]]]],
"None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.4965117206885777`*^9, 3.5192471175756674`*^9, {3.5192587973599553`*^9,
3.5192588081399703`*^9}, {3.519321495105319*^9, 3.5193214991925263`*^9},
3.5193247857072587`*^9, {3.5194051897010813`*^9, 3.5194051902791147`*^9}, {
3.5194055551249824`*^9, 3.5194055708408813`*^9}, {3.519405711316916*^9,
3.51940572904193*^9}, {3.519410772192028*^9, 3.5194107776364374`*^9}, {
3.519413782484516*^9, 3.519413782827717*^9}, {3.519767588664174*^9,
3.519767611128214*^9}, {3.5197937941314034`*^9, 3.519793794568204*^9}, {
3.5197947626591043`*^9, 3.519794764749508*^9}, {3.519794865354085*^9,
3.519794874355301*^9}, {3.523218063086026*^9, 3.523218070356036*^9}, {
3.523316514684347*^9, 3.523316514684347*^9}, {3.5233165475343933`*^9,
3.5233165475343933`*^9}, {3.5233184331871357`*^9,
3.5233184334271364`*^9}, {3.5273599103435545`*^9, 3.527359910608755*^9}, {
3.5326424241029196`*^9, 3.53264242435292*^9}, {3.5326584126048727`*^9,
3.532658412794873*^9}, {3.532726454021428*^9, 3.5327264542814283`*^9}, {
3.5327554047263184`*^9, 3.532755404993334*^9}, {3.532798666112293*^9,
3.532798676322307*^9}, {3.5328778343810363`*^9, 3.5328778343810363`*^9},
3.5330758294771795`*^9, {3.5330827570868783`*^9, 3.533082757336879*^9}, {
3.534975097668671*^9, 3.534975097888672*^9}, {3.536863459221404*^9,
3.536863459439804*^9}, {3.540264711953947*^9, 3.5402647253239655`*^9}, {
3.540264783504047*^9, 3.540264783504047*^9}, {3.540502117527218*^9,
3.540502117997218*^9}, {3.540502551737826*^9, 3.540502551937826*^9}, {
3.5449015667548094`*^9, 3.5449015920048447`*^9}, {3.544901714065016*^9,
3.544901727955035*^9}, 3.544911958524931*^9, {3.5449122781717815`*^9,
3.5449122781717815`*^9}, {3.5455187047402697`*^9,
3.5455187052402706`*^9}, {3.545518898070541*^9, 3.545518911130559*^9}, {
3.5455202868524847`*^9, 3.5455202868524847`*^9}, {3.545520317832528*^9,
3.545520339272558*^9}, {3.545520578812894*^9, 3.545520601212925*^9}, {
3.545520817443228*^9, 3.545520820373232*^9}, {3.545578383065389*^9,
3.545578398615411*^9}, {3.5461099987254543`*^9, 3.54611000814787*^9}, {
3.546110085383606*^9, 3.546110115616459*^9}, {3.546113143676578*^9,
3.5461131599162064`*^9}, {3.546113861589839*^9, 3.546113902539911*^9}, {
3.546114166008774*^9, 3.546114166008774*^9}, {3.5461157697071905`*^9,
3.546115770081591*^9}, {3.546881285463888*^9, 3.546881338233962*^9}, {
3.5468816904144554`*^9, 3.5468817054644766`*^9}, {3.5468819496848183`*^9,
3.5468819496848183`*^9}, {3.5468853333415565`*^9, 3.5468853339615574`*^9},
3.546885636591981*^9, {3.546885925232385*^9, 3.546885925772386*^9}, {
3.547070910324896*^9, 3.547070910544896*^9}, {3.5472382543189645`*^9,
3.547238254628965*^9}, {3.547249217104528*^9, 3.5472492172745285`*^9}, {
3.5472502310559473`*^9, 3.5472502313059483`*^9}, {3.5473244459150295`*^9,
3.5473244989090605`*^9}, 3.5473248197784133`*^9, {3.547829048232483*^9,
3.547829048669284*^9}, 3.547833784491141*^9, {3.547838047954945*^9,
3.5478380481149454`*^9}, {3.547840750288728*^9, 3.547840768558754*^9}, {
3.5478523710583363`*^9, 3.547852371208336*^9}, {3.547856471598878*^9,
3.5478564760188837`*^9}, 3.5634862943479223`*^9, {3.5786867364935455`*^9,
3.5786867694235916`*^9}, {3.597022810925351*^9, 3.5970228110969515`*^9}, {
3.6118795009386606`*^9, 3.6118795088386717`*^9}, {3.6118799708393183`*^9,
3.6118799729893217`*^9}, 3.6118804207699485`*^9, 3.611880838210533*^9, {
3.611881404601326*^9, 3.6118814229213514`*^9}, {3.611882404982726*^9,
3.6118824064627285`*^9}, 3.6118888054916873`*^9, 3.6118895658927517`*^9, {
3.6118896193628263`*^9, 3.611889619612827*^9}, {3.6119551465703335`*^9,
3.6119551540003443`*^9}, {3.6119552772205167`*^9, 3.611955281520523*^9}, {
3.6119557171011324`*^9, 3.6119557171011324`*^9}, {3.6119558784013586`*^9,
3.6119558907313757`*^9}, {3.611956585872349*^9, 3.6119565947323613`*^9}, {
3.6119568247426834`*^9, 3.611956833532696*^9}, {3.611956959112871*^9,
3.611956959112871*^9}, {3.6119571116430845`*^9, 3.6119571116430845`*^9}, {
3.611958173944572*^9, 3.611958190264595*^9}, {3.61195831562477*^9,
3.6119583163447714`*^9}, 3.611958426384926*^9, {3.611958700085309*^9,
3.6119587003553095`*^9}, {3.611958981415703*^9, 3.6119589884757123`*^9}, {
3.611959042425788*^9, 3.6119590427557883`*^9}, 3.611959084505847*^9, {
3.611959435706339*^9, 3.61195944374635*^9}, {3.612025076781599*^9,
3.612025076781599*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Piecewise constant extraction", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975780869725127`*^9, 3.4975780962225256`*^9}, {3.4976627907155895`*^9,
3.497662798718403*^9}}],
Cell[TextData[{
"Basis: ",
Cell[BoxData[
RowBox[{
RowBox[{
SubscriptBox["\[PartialD]", "x"],
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"c", " ",
RowBox[{"Tan", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Cos", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]}],
SuperscriptBox[
RowBox[{"(",
RowBox[{"d", " ",
RowBox[{"Sin", "[",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], "]"}]}], ")"}], "m"]]}], "\[Equal]",
"0"}]]]
}], "Subsubsection",
CellChangeTimes->{
3.4964418130913677`*^9, {3.496442428087432*^9, 3.4964424330170403`*^9},
3.496528894323882*^9, 3.4975761400971813`*^9, {3.4975778216221414`*^9,
3.497577829892153*^9}, {3.4975827089309845`*^9, 3.4975827138509912`*^9},
3.497639710530856*^9, 3.4976397495153246`*^9, {3.497640194989707*^9,
3.4976402054105253`*^9}, 3.497640444886546*^9, {3.50474982887571*^9,
3.504749836455721*^9}, {3.5047498695657673`*^9, 3.5047498727757716`*^9}, {
3.5107881322665586`*^9, 3.5107881705866117`*^9}, {3.510788449847003*^9,
3.510788449847003*^9}, {3.5131325965637026`*^9, 3.5131325965637026`*^9}, {
3.5131326285737476`*^9, 3.5131326291037483`*^9}, {3.5468800663921814`*^9,
3.5468800663921814`*^9}, {3.546885649491999*^9, 3.546885649491999*^9}, {
3.547324727843155*^9, 3.547324740200862*^9}, {3.5786817784366045`*^9,
3.5786817784366045`*^9}, {3.6118803485398474`*^9,
3.6118803721998806`*^9}, {3.611880969580717*^9, 3.611880969580717*^9}, {
3.611955046510194*^9, 3.611955048810197*^9}, {3.6119555912809563`*^9,
3.6119555912809563`*^9}, {3.611959244746071*^9, 3.611959244746071*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{
RowBox[{"KnownSineIntegrandQ", "[",
RowBox[{"u", ",", "x"}], "]"}], " ", "\[And]", " ",
RowBox[{"m", "\[NotElement]", "\[DoubleStruckCapitalZ]"}]}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975778737222147`*^9, 3.4975778945722437`*^9}, {3.4976396822792068`*^9,
3.49763968986082*^9}, {3.497639771433363*^9, 3.49763978104298*^9}, {
3.4976638984111347`*^9, 3.4976639153215647`*^9}, {3.4976645939383564`*^9,
3.497664598805565*^9}, {3.4976646480080514`*^9, 3.4976646992229414`*^9}, {
3.4976647966763124`*^9, 3.497664832415975*^9}, 3.497664903037299*^9, {
3.4986779242986293`*^9, 3.498677947778662*^9}, {3.499179738750054*^9,
3.499179740902858*^9}, {3.499213316063504*^9, 3.4992133345435305`*^9}, {
3.499358051967739*^9, 3.4993580717017736`*^9}, {3.4993592718267775`*^9,
3.4993592794067883`*^9}, {3.499363873578274*^9, 3.4993638796182823`*^9}, {
3.50031965968463*^9, 3.5003196639146357`*^9}, {3.5004320083900976`*^9,
3.5004320093321514`*^9}, {3.5013559257793446`*^9,
3.5013559257793446`*^9}, {3.5013564069000177`*^9, 3.501356418530034*^9}, {
3.5026761650200815`*^9, 3.5026762017401333`*^9}, {3.5026762588802133`*^9,
3.5026762588802133`*^9}, {3.5026784726933126`*^9,
3.5026784726933126`*^9}, {3.5027658552205725`*^9,
3.5027658552205725`*^9}, {3.5027672224669743`*^9,
3.5027672224669743`*^9}, {3.5037105948225365`*^9, 3.503710605582552*^9}, {
3.5037107610527697`*^9, 3.5037107610527697`*^9}, 3.503812941222491*^9, {
3.5040286741277885`*^9, 3.50402867512619*^9}, 3.504031838526546*^9,
3.504311148611575*^9, {3.504764105847949*^9, 3.5047641154079623`*^9}, {
3.5047641477280073`*^9, 3.504764147948008*^9}, 3.505005742172364*^9, {
3.5080368114491596`*^9, 3.5080368579840417`*^9}, 3.5080374691155157`*^9, {