/dports/math/reduce/Reduce-svn5758-src/packages/cdiff/examples/Systems_of_PDEs/ |
H A D | Bous_Ham_2.red | 33 ddx(0,1):=1$ 34 ddx(0,2):=0$ 35 ddx(0,3):=u1$ 36 ddx(0,4):=v1$ 37 ddx(0,5):=u2$ 38 ddx(0,6):=v2$ 39 ddx(0,7):=u3$ 40 ddx(0,8):=v3$ 117 ut1:=ddx ut; 296 -sig*ddx(ddx(ddx(phi2))); [all …]
|
H A D | Bous_Ham_1.red | 33 ddx(0,1):=1$ 34 ddx(0,2):=0$ 35 ddx(0,3):=u1$ 36 ddx(0,4):=v1$ 37 ddx(0,5):=u2$ 38 ddx(0,6):=v2$ 39 ddx(0,7):=u3$ 40 ddx(0,8):=v3$ 117 ut1:=ddx ut; 291 -sig*ddx(ddx(ddx(phi2))); [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/cdiff/examples/Hamiltonian_Operators/ |
H A D | KdV_Ham_1.red | 32 ddx(0,1):=1$ 33 ddx(0,2):=0$ 34 ddx(0,3):=u1$ 35 ddx(0,4):=u2$ 36 ddx(0,5):=u3$ 37 ddx(0,6):=u4$ 38 ddx(0,7):=u5$ 78 ut1:=ddx ut; 102 ddx(1,1):=0$ 103 ddx(1,2):=0$ [all …]
|
H A D | KdV_nloc-cl_1.red | 33 ddx(0,1):=1$ 34 ddx(0,2):=0$ 35 ddx(0,3):=u1$ 36 ddx(0,4):=u2$ 37 ddx(0,5):=u3$ 38 ddx(0,6):=u4$ 39 ddx(0,7):=u5$ 81 ut1:=ddx ut; 199 f1:=u*f3+ddx(ddx(f3))$ 223 equ 2:=ddx(ddt(1,51))-ddt(ddx(1,51)); [all …]
|
H A D | KdV_nloc-Ham_1.red | 32 ddx(0,1):=1$ 33 ddx(0,2):=0$ 34 ddx(0,3):=u1$ 35 ddx(0,4):=u2$ 36 ddx(0,5):=u3$ 37 ddx(0,6):=u4$ 38 ddx(0,7):=u5$ 39 ddx(0,8):=u6$ 40 ddx(0,9):=u7$ 78 ut1:=ddx ut; [all …]
|
H A D | KdV_nloc-Ham_2.red | 32 ddx(0,1):=1$ 33 ddx(0,2):=0$ 34 ddx(0,3):=u1$ 35 ddx(0,4):=u2$ 36 ddx(0,5):=u3$ 37 ddx(0,6):=u4$ 38 ddx(0,7):=u5$ 78 ut1:=ddx ut; 102 ddx(1,1):=0$ 103 ddx(1,2):=0$ [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/cde/examples_book/state/ |
H A D | bou_sh1_state.red | 480 tot_der!*:=(ddx ddt) 484 primary_diffcon_der_tot!*:=((ddx 0 6 z1_x) (ddx 0 7 z2_x) (ddx 0 8 z3_x) (ddt 0 582 % component of ddx w.r.t. x 583 ddx(0,1):=1 584 % component of ddx w.r.t. t 585 ddx(0,2):=0 586 % component of ddx w.r.t. u 588 % component of ddx w.r.t. v 590 % component of ddx w.r.t. w 1252 % component of ddx w.r.t. p [all …]
|
H A D | bou_ell1_state.red | 380 tot_der!*:=(ddx ddt) 399 % component of ddx w.r.t. x 400 ddx(0,1):=1 401 % component of ddx w.r.t. t 402 ddx(0,2):=0 403 % component of ddx w.r.t. u 405 % component of ddx w.r.t. v 407 % component of ddx w.r.t. w 673 % component of ddx w.r.t. p 675 % component of ddx w.r.t. q [all …]
|
H A D | kdv_hsy3_state.red | 306 tot_der!*:=(ddx ddt) 355 % component of ddx w.r.t. x 356 ddx(0,1):=1 357 % component of ddx w.r.t. t 358 ddx(0,2):=0 359 % component of ddx w.r.t. u 361 % component of ddx w.r.t. w 363 % component of ddx w.r.t. u_x 383 % component of ddx w.r.t. u_t 385 % component of ddx w.r.t. w_x [all …]
|
H A D | kn_ell1_state.red | 242 tot_der!*:=(ddx ddt) 261 % component of ddx w.r.t. x 262 ddx(0,1):=1 263 % component of ddx w.r.t. t 264 ddx(0,2):=0 265 % component of ddx w.r.t. u 267 % component of ddx w.r.t. u_x 269 % component of ddx w.r.t. u_t 397 % component of ddx w.r.t. q 399 % component of ddx w.r.t. q_x [all …]
|
H A D | wdvv_ell1_state.red | 242 tot_der!*:=(ddx ddy) 261 % component of ddx w.r.t. x 262 ddx(0,1):=1 263 % component of ddx w.r.t. y 264 ddx(0,2):=0 265 % component of ddx w.r.t. u 267 % component of ddx w.r.t. u_x 269 % component of ddx w.r.t. u_y 397 % component of ddx w.r.t. q 399 % component of ddx w.r.t. q_x [all …]
|
H A D | bou_csy1_state.red | 380 tot_der!*:=(ddx ddt) 475 % component of ddx w.r.t. x 476 ddx(0,1):=1 477 % component of ddx w.r.t. t 478 ddx(0,2):=0 479 % component of ddx w.r.t. u 481 % component of ddx w.r.t. v 483 % component of ddx w.r.t. w 749 % component of ddx w.r.t. p 751 % component of ddx w.r.t. q [all …]
|
H A D | bou_cl1_state.red | 380 tot_der!*:=(ddx ddt) 475 % component of ddx w.r.t. x 476 ddx(0,1):=1 477 % component of ddx w.r.t. t 478 ddx(0,2):=0 479 % component of ddx w.r.t. u 481 % component of ddx w.r.t. v 483 % component of ddx w.r.t. w 749 % component of ddx w.r.t. p 751 % component of ddx w.r.t. q [all …]
|
H A D | bou_lcl1_state.red | 380 tot_der!*:=(ddx ddt) 475 % component of ddx w.r.t. x 476 ddx(0,1):=1 477 % component of ddx w.r.t. t 478 ddx(0,2):=0 479 % component of ddx w.r.t. u 481 % component of ddx w.r.t. v 483 % component of ddx w.r.t. w 749 % component of ddx w.r.t. p 751 % component of ddx w.r.t. q [all …]
|
H A D | bou_roc1_state.red | 1407 tot_der!*:=(ddx ddt) 1419 primary_diffcon_odd_tot!*:=((ddx 1 4 o1_x) (ddx 1 5 o2_x) (ddx 1 6 o3_x) (ddt 1 1869 % component of ddx w.r.t. x 1870 ddx(0,1):=1 1871 % component of ddx w.r.t. t 1872 ddx(0,2):=0 1873 % component of ddx w.r.t. u 1875 % component of ddx w.r.t. v 1877 % component of ddx w.r.t. w 2419 % component of ddx w.r.t. p [all …]
|
H A D | kdv_ro2_state.red | 386 tot_der!*:=(ddx ddt) 487 % component of ddx w.r.t. x 488 ddx(0,1):=1 489 % component of ddx w.r.t. t 490 ddx(0,2):=0 491 % component of ddx w.r.t. u 493 % component of ddx w.r.t. u_x 513 % component of ddx w.r.t. u_t 623 % component of ddx w.r.t. q 625 % component of ddx w.r.t. r [all …]
|
H A D | kdv_roc1_state.red | 387 tot_der!*:=(ddx ddt) 484 % component of ddx w.r.t. x 485 ddx(0,1):=1 486 % component of ddx w.r.t. t 487 ddx(0,2):=0 488 % component of ddx w.r.t. u 490 % component of ddx w.r.t. u_x 510 % component of ddx w.r.t. u_t 620 % component of ddx w.r.t. p 622 % component of ddx w.r.t. o [all …]
|
H A D | kdv_ro1_state.red | 386 tot_der!*:=(ddx ddt) 487 % component of ddx w.r.t. x 488 ddx(0,1):=1 489 % component of ddx w.r.t. t 490 ddx(0,2):=0 491 % component of ddx w.r.t. u 493 % component of ddx w.r.t. u_x 513 % component of ddx w.r.t. u_t 623 % component of ddx w.r.t. q 625 % component of ddx w.r.t. r [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/cde/examples/state/ |
H A D | kdv_nlho1_state.red | 478 tot_der!*:=(ddx ddt) 484 primary_diffcon_odd_tot!*:=((ddx 1 2 r1_x) (ddx 1 3 r2_x) (ddx 1 4 r3_x) (ddt 1 567 % component of ddx w.r.t. x 568 ddx(0,1):=1 569 % component of ddx w.r.t. t 570 ddx(0,2):=0 571 % component of ddx w.r.t. u 661 % component of ddx w.r.t. p 663 % component of ddx w.r.t. r1 665 % component of ddx w.r.t. r2 [all …]
|
H A D | bou_ell1_state.red | 275 tot_der!*:=(ddx ddt) 294 % component of ddx w.r.t. x 295 ddx(0,1):=1 296 % component of ddx w.r.t. t 297 ddx(0,2):=0 298 % component of ddx w.r.t. u 300 % component of ddx w.r.t. v 302 % component of ddx w.r.t. u_x 304 % component of ddx w.r.t. v_x 478 % component of ddx w.r.t. p [all …]
|
H A D | kdv_ell1_state.red | 242 tot_der!*:=(ddx ddt) 261 % component of ddx w.r.t. x 262 ddx(0,1):=1 263 % component of ddx w.r.t. t 264 ddx(0,2):=0 265 % component of ddx w.r.t. u 267 % component of ddx w.r.t. u_x 269 % component of ddx w.r.t. u_t 397 % component of ddx w.r.t. p 399 % component of ddx w.r.t. p_x [all …]
|
H A D | kdv_ro1_state.red | 386 tot_der!*:=(ddx ddt) 487 % component of ddx w.r.t. x 488 ddx(0,1):=1 489 % component of ddx w.r.t. t 490 ddx(0,2):=0 491 % component of ddx w.r.t. u 493 % component of ddx w.r.t. u_x 513 % component of ddx w.r.t. u_t 623 % component of ddx w.r.t. q 625 % component of ddx w.r.t. r [all …]
|
H A D | kdv_lcl1_state.red | 261 tot_der!*:=(ddx ddt) 308 % component of ddx w.r.t. x 309 ddx(0,1):=1 310 % component of ddx w.r.t. t 311 ddx(0,2):=0 312 % component of ddx w.r.t. u 314 % component of ddx w.r.t. u_x 316 % component of ddx w.r.t. u_2x 318 % component of ddx w.r.t. u_3x 320 % component of ddx w.r.t. u_4x [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/cdiff/examples/Denominators/ |
H A D | KdV_denom_1.red | 33 ddx(0,1):=1$ 34 ddx(0,2):=0$ 35 ddx(0,3):=u1$ 36 ddx(0,4):=u2$ 37 ddx(0,5):=u3$ 38 ddx(0,6):=u4$ 39 ddx(0,7):=u5$ 40 ddx(0,8):=u6$ 41 ddx(0,9):=u7$ 79 ut1:=ddx ut; [all …]
|
H A D | KdV_denom_2.red | 36 ddx(0,1):=1$ 37 ddx(0,2):=0$ 38 ddx(0,3):=u1$ 39 ddx(0,4):=u2$ 40 ddx(0,5):=u3$ 41 ddx(0,6):=u4$ 42 ddx(0,7):=u5$ 43 ddx(0,8):=u6$ 44 ddx(0,9):=u7$ 83 ut1:=ddx ut; [all …]
|