The rifread command loads a partial rifsimp computation that was run using the store or storeall options (see rifsimp[adv_options]).

The storage options are most useful for large or complex computations, where the resources required to complete the computation may exceed the capability of the machine. The state of the system at the last iteration  (using store), or at all previous iterations and/or cases (using storeall), can be retrieved using this command.

When called with no arguments, the file "RifStorage.m" is used. This is the default file name for use with the store option of rifsimp. If a file name was specified for the rifsimp run, or if the storeall option was used (storing all iterations and/or cases in separate files), the file name must be included in the rifread command.

Please note that the system obtained using rifread is not in final form and may have redundant equations or unresolved integrability conditions.

$\mathrm{with}\left(\mathrm{DEtools}\right)\:$

$\mathrm{sys1}≔\left[\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\,y\right)\,\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\,y\right)-2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\,y\right)\,-3y^2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)+2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\,y\right)-\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\,x\right)\,-2\mathrm{\eta }\left(x\,y\right)y-2y^2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)+y^2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)+\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\,x\right)\right]$

$\mathrm{sys1}≔\left[\frac{{\partial }^2}{\partial y^2}\mathrm{\xi }\left(x\,y\right)\,\frac{{\partial }^2}{\partial y^2}\mathrm{\eta }\left(x\,y\right)-2\frac{{\partial }^2}{\partial x\partial y}\mathrm{\xi }\left(x\,y\right)\,-3y^2\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)+2\frac{{\partial }^2}{\partial x\partial y}\mathrm{\eta }\left(x\,y\right)-\frac{{\partial }^2}{\partial x^2}\mathrm{\xi }\left(x\,y\right)\,-2\mathrm{\eta }\left(x\,y\right)y-2y^2\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)+y^2\left(\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)\right)+\frac{{\partial }^2}{\partial x^2}\mathrm{\eta }\left(x\,y\right)\right]$

$\mathrm{ans1}≔\mathrm{rifsimp}\left(\mathrm{sys1}\,\left[\mathrm{\xi }\,\mathrm{\eta }\right]\,\mathrm{store}\right)$

$\mathrm{ans1}≔table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=-\frac{\mathrm{\eta }\left(x\,y\right)}{2y}\,\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\right]\right]\right)$

$\mathrm{temp1}≔\mathrm{rifread}\left(\right)$

$\mathrm{temp1}≔table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\frac{{\partial }^2}{\partial y^2}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=-\frac{\mathrm{\eta }\left(x\,y\right)}{2y}\,\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\right]\right]\right)$

$\mathrm{ans1}≔\mathrm{rifsimp}\left(\mathrm{sys1}\,\left[\mathrm{\xi }\,\mathrm{\eta }\right]\,\mathrm{store}=''tmpstore''\right)$

$\mathrm{ans1}≔table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=-\frac{\mathrm{\eta }\left(x\,y\right)}{2y}\,\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\right]\right]\right)$

$\mathrm{temp1}≔\mathrm{rifread}\left(''tmpstore''\right)$

$\mathrm{temp1}≔table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\frac{{\partial }^2}{\partial y^2}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=-\frac{\mathrm{\eta }\left(x\,y\right)}{2y}\,\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\right]\right]\right)$

$\mathrm{sys2}≔\left[-\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)y-\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\,y\right)y^2\,\mathrm{\eta }\left(x\,y\right)-2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\,y\right)y^2+\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\,y\right)y^2-\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)y-2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)y+2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)a{y}^2\,-2y\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)-\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\,x\right)y^2+2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\,y\right)y^2+\mathrm{\eta }\left(x\,y\right)-\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)y+\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)a{y}^2+3y^3\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)a^2-3y^4\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)b^2-3y^5\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)b^2+3y^2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)a^2\,\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\,x\right)y^2+y^2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)a-y\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)+2y^3\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)a^2-2y^4\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)b^2-y^3\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)a^2+y^4\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)b^2+\mathrm{\eta }\left(x\,y\right)y^2{a}^2-2\mathrm{\eta }\left(x\,y\right)y^3{b}^2-y^2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)a^2-3\mathrm{\eta }\left(x\,y\right)y^4{b}^2-2y^5\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)b^2+2y^2\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)a^2+y^5\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)b^2\right]$

$\mathrm{sys2}≔\left[-\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)y-\left(\frac{{\partial }^2}{\partial y^2}\mathrm{\xi }\left(x\,y\right)\right)y^2\,\mathrm{\eta }\left(x\,y\right)-2\left(\frac{{\partial }^2}{\partial x\partial y}\mathrm{\xi }\left(x\,y\right)\right)y^2+\left(\frac{{\partial }^2}{\partial y^2}\mathrm{\eta }\left(x\,y\right)\right)y^2-\left(\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)\right)y-2\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)y+2\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)a{y}^2\,-2y\left(\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)\right)-\left(\frac{{\partial }^2}{\partial x^2}\mathrm{\xi }\left(x\,y\right)\right)y^2+2\left(\frac{{\partial }^2}{\partial x\partial y}\mathrm{\eta }\left(x\,y\right)\right)y^2+\mathrm{\eta }\left(x\,y\right)-\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)y+\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)a{y}^2+3y^3\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)a^2-3y^4\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)b^2-3y^5\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)b^2+3y^2\left(\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)\right)a^2\,\left(\frac{{\partial }^2}{\partial x^2}\mathrm{\eta }\left(x\,y\right)\right)y^2+y^2\left(\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)\right)a-y\left(\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)\right)+2y^3\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)a^2-2y^4\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)b^2-y^3\left(\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)\right)a^2+y^4\left(\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)\right)b^2+\mathrm{\eta }\left(x\,y\right)y^2{a}^2-2\mathrm{\eta }\left(x\,y\right)y^3{b}^2-y^2\left(\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)\right)a^2-3\mathrm{\eta }\left(x\,y\right)y^4{b}^2-2y^5\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)b^2+2y^2\left(\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)\right)a^2+y^5\left(\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)\right)b^2\right]$

$\mathrm{infolevel}\left[\mathrm{rifsimp}\right]≔1$

${\mathrm{infolevel}}_{\mathrm{rifsimp}}≔1$

$\mathrm{rr}≔\mathrm{rifsimp}\left(\mathrm{sys2}\,\left[\mathrm{\xi }\,\mathrm{\eta }\right]\,\mathrm{storeall}\,\mathrm{casesplit}\right)$

      Storing current system in RifStorage_1_1.mStoring current system in RifStorage_1_2.m
      Storing current system in RifStorage_1_3.m
      Storing current system in RifStorage_1_4.m
      Storing current system in RifStorage_1_5.m
      Storing current system in RifStorage_1_6.m
      Storing current system in RifStorage_1_7.m
      Storing current system in RifStorage_1_8.m
      Storing current system in RifStorage_1_9.m
      Storing current system in RifStorage_1_10.m
      Storing current system in RifStorage_1_11.m
      Storing current system in RifStorage_1_12.m
      Storing current system in RifStorage_1_13.m
      Storing current system in RifStorage_1_14.m
      Storing current system in RifStorage_2_13.m
      Storing current system in RifStorage_2_14.m
      Storing current system in RifStorage_2_15.m
      Storing current system in RifStorage_3_14.m
      Storing current system in RifStorage_3_15.m
      Storing current system in RifStorage_3_16.m
      Storing current system in RifStorage_4_15.m

$\mathrm{The\; system\; has\; been\; identified\; as\; follows:}$

$\mathrm{The\; system\; has\; the\; following\; dependent\; variables:}$

$\mathrm{\xi },\mathrm{\eta }$

$\mathrm{The\; system\; has\; the\; following\; independent\; variables:}$

$x,y$

$\mathrm{The\; system\; has\; the\; following\; constants:}$

$a,b$

$\mathrm{The\; following\; are\; to\; be\; treated\; as\; solve\; variables:}$

$\mathrm{\xi },\mathrm{\eta },a,b$

$\mathrm{rr}≔table\left(\left[1=table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\mathrm{\eta }\left(x\,y\right)=0\right]\,\mathrm{Case}=\left[\left[b\ne 0\,\mathrm{\eta }\left(x\,y\right)\right]\right]\,\mathrm{Pivots}=\left[b\ne 0\right]\right]\right)\,2=table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\mathrm{\eta }\left(x\,y\right)=0\,b=0\right]\,\mathrm{Case}=\left[\left[b=0\,\mathrm{\eta }\left(x\,y\right)\right]\,\left[a\left(a-1\right)\ne 0\,\mathrm{\eta }\left(x\,y\right)\right]\right]\,\mathrm{Pivots}=\left[a\ne 0\,a-1\ne 0\right]\right]\right)\,3=table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\mathrm{\eta }\left(x\,y\right)=0\,a=1\,b=0\right]\,\mathrm{Case}=\left[\left[b=0\,\mathrm{\eta }\left(x\,y\right)\right]\,\left[a\left(a-1\right)=0\,\mathrm{\eta }\left(x\,y\right)\right]\,\left[a\ne 0\,\mathrm{\eta }\left(x\,y\right)\right]\right]\right]\right)\,4=table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\,\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\,a=0\,b=0\right]\,\mathrm{Case}=\left[\left[b=0\,\mathrm{\eta }\left(x\,y\right)\right]\,\left[a\left(a-1\right)=0\,\mathrm{\eta }\left(x\,y\right)\right]\,\left[a=0\,\mathrm{\eta }\left(x\,y\right)\right]\right]\right]\right)\,\mathrm{casecount}=4\right]\right)$

$\mathrm{rifread}\left(''RifStorage\_2\_13''\right)$

$table\left(\left[\mathrm{Solved}=\left[\frac{\partial }{\partial y}\mathrm{\xi }\left(x\,y\right)=0\,b=0\,\frac{\partial }{\partial x}\mathrm{\xi }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\,\frac{\partial }{\partial x}\mathrm{\eta }\left(x\,y\right)=a\left(3a-2\right)\mathrm{\eta }\left(x\,y\right)\,\frac{\partial }{\partial y}\mathrm{\eta }\left(x\,y\right)=\frac{\mathrm{\eta }\left(x\,y\right)}{y}\right]\,\mathrm{DiffConstraint}=\left[0=\mathrm{\eta }\left(x\,y\right)a\left(a-1\right)\,0=\mathrm{\eta }\left(x\,y\right)a\left(a-1\right)\,0=\mathrm{\eta }\left(x\,y\right)a\left(a-1\right)\,0=\mathrm{\eta }\left(x\,y\right)a\left(9a^{3}y-9a^{2}y+4ay-2a+2\right)\right]\right]\right)$