polynomialmatricestest.nb

单模多项式矩阵的分解算法

(************** Content-type: application/mathematica **************
                     CreatedBy='Mathematica 5.2'

                    Mathematica-Compatible Notebook

This notebook can be used with any Mathematica-compatible
application, such as Mathematica, MathReader or Publicon. The data
for the notebook starts with the line containing stars above.

To get the notebook into a Mathematica-compatible application, do
one of the following:

* Save the data starting with the line of stars above into a file
  with a name ending in .nb, then open the file inside the
  application;

* Copy the data starting with the line of stars above to the
  clipboard, then use the Paste menu command inside the application.

Data for notebooks contains only printable 7-bit ASCII and can be
sent directly in email or through ftp in text mode.  Newlines can be
CR, LF or CRLF (Unix, Macintosh or MS-DOS style).

NOTE: If you modify the data for this notebook not in a Mathematica-
compatible application, you must delete the line below containing
the word CacheID, otherwise Mathematica-compatible applications may
try to use invalid cache data.

For more information on notebooks and Mathematica-compatible 
applications, contact Wolfram Research:
  web: http://www.wolfram.com
  email: [e-mail]
  phone: [phone] (U.S.)

Notebook reader applications are available free of charge from 
Wolfram Research.
*******************************************************************)

(*CacheID: 232*)


(*NotebookFileLineBreakTest
NotebookFileLineBreakTest*)
(*NotebookOptionsPosition[     36031,       1174]*)
(*NotebookOutlinePosition[     36902,       1204]*)
(*  CellTagsIndexPosition[     36858,       1200]*)
(*WindowFrame->Normal*)



Notebook[{

Cell[CellGroupData[{
Cell[TextData[{
  "Polynomial Matri",
  StyleBox["x",
    Editable->True],
  " Utilities"
}], "Title",
  Editable->True,
  Evaluatable->False],

Cell["Purpose", "Subsubsection",
  Editable->True],

Cell["\<\
This notebook shows the usage of the package \
PolynomialMatrices.m.\
\>", "Text",
  Editable->True,
  Evaluatable->False],

Cell["Refernces", "Subsubsection",
  Editable->True],

Cell["\<\
For a complete treatment of polynomial matrix theory and for more \
references see\
\>", "Text",
  Editable->True,
  Evaluatable->False],

Cell["\<\
KAILATH Thomas, \[OpenCurlyDoubleQuote]Linear Systems\
\[CloseCurlyDoubleQuote], Prentice-Hall, 1980\
\>", "Text",
  Editable->True,
  CellDingbat->"[1]",
  Evaluatable->False],

Cell["\<\
KUCERA Vladimir, \[OpenCurlyDoubleQuote]Analysis and Design of \
Discrete Linear Control Systems\[CloseCurlyDoubleQuote], Prentice-Hall, New \
York, 1991\
\>", "Text",
  Editable->True,
  CellDingbat->"[2]",
  Evaluatable->False],

Cell["\<\
KUCERA Vladimir, \[OpenCurlyDoubleQuote]Discrete Linear Control\
\[CloseCurlyDoubleQuote], Academia of Praha, Praha, 1979.\
\>", "Text",
  Editable->True,
  CellDingbat->"[3]",
  Evaluatable->False],

Cell["Load the package", "Subsubsection",
  Editable->True],

Cell[TextData[{
  "Put the file PolynomialMatrices.m in a directory searched by ",
  StyleBox["Mathematica,",
    FontSlant->"Italic"],
  " or append its path to $Path "
}], "Text",
  Editable->True],

Cell[BoxData[
    \(\(AppendTo[$Path, 
        DirectoryName[\(\(\(\(...\)\(...\)\) ... \) ... \) .. ]];\)\)], \
"Input",
  Editable->True],

Cell[BoxData[
    \(<< PolynomialMatrices`\)], "Input",
  Editable->True],

Cell["Get a list of the loaded functions", "Text",
  Editable->True,
  Evaluatable->False],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(?PolynomialMatrices`*\)\)], "Input",
  Editable->True],

Cell[BoxData[GridBox[{
        {
          StyleBox["PolynomialMatrices`",
            FontFamily->"Helvetica",
            FontSize->12,
            FontWeight->"Bold"]},
        {GridBox[{
              {
                ButtonBox[
                  StyleBox["DiophantineSolve",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`DiophantineSolve"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["FullRowRankQ",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`FullRowRankQ"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["LQuotient",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`LQuotient"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["PolynomialRowReduce",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`PolynomialRowReduce"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["RQuotient",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`RQuotient"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"]},
              {
                ButtonBox[
                  StyleBox["EliminateDep",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`EliminateDep"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["HermiteForm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`HermiteForm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["LRemainder",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`LRemainder"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["Rank",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`Rank"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["RRemainder",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`RRemainder"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"]},
              {
                ButtonBox[
                  StyleBox["ExtendedHermiteForm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`ExtendedHermiteForm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["LCoprime",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`LCoprime"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["McMillanForm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`McMillanForm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["RCoprime",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`RCoprime"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["SmithForm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`SmithForm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"]},
              {
                ButtonBox[
                  StyleBox["ExtendedMcMillanForm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`ExtendedMcMillanForm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["LDivision",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`LDivision"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["PolyExtendedGCD",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`PolyExtendedGCD"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["RDivision",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`RDivision"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], ""},
              {
                ButtonBox[
                  StyleBox["ExtendedSmithForm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`ExtendedSmithForm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["LGCD",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`LGCD"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["PolynomialColumnReduce",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`PolynomialColumnReduce"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["RGCD",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`RGCD"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], ""},
              {
                ButtonBox[
                  StyleBox["ExtPolQ",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`ExtPolQ"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["Llcm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`Llcm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["PolynomialDegree",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`PolynomialDegree"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], 
                ButtonBox[
                  StyleBox["Rlcm",
                    "Hyperlink"],
                  
                  ButtonFunction:>(
                    Internal`PutInformation[ #, LongForm -> False]&),
                  ButtonEvaluator->Automatic,
                  
                  ButtonData:>{"Info3340776150-5946506", 
                    "PolynomialMatrices`Rlcm"},
                  ButtonFrame->"None",
                  ButtonNote->"PolynomialMatrices`"], ""}
              },
            RowMinHeight->{1, 1, 1, 1, 1, 1.05}]}
        },
      RowSpacings->{2, 3},
      ColumnsEqual->True]], "Print",
  CellMargins->{{20, Inherited}, {Inherited, Inherited}},
  ShowCellLabel->False,
  CellFrameMargins->{{Inherited, Inherited}, {14, 14}},
  Background->RGBColor[0.964706, 0.929412, 0.839216],