有名な数学の結び目.

Entity["Knot",name]または

タイプ"Knot"の実体を表す.

[prop]

指定された特性の値を与える.

[{propi,}]

特性のリストの値を与える.

[prop,{qualivali,}]

限定子規則quali->valiによって修正された指定特性の値を与える.

EntityClass["Knot",{propispeci,}]

speci で定義された propi の値を持つ実体のクラスを表す.

実体のサンプル

実体クラスのサンプル

特性

  • AlexanderBriggsNotationAlexanderBriggs notation
    AlexanderPolynomialAlexander polynomial
    AlternateNamesalternate names
    Alternatingalternating
    Amphichiralamphichiral
    ArfInvariantArf invariant
    BLMHoPolynomialBLM/Ho polynomial
    BoundaryMeshRegionboundary mesh representation
    BracketPolynomialbracket polynomial
    BraidDiagrambraid diagram
    BraidIndexbraid index
    BraidWordbraid word
    BridgeIndexbridge index
    Chiralchiral
    Classesclasses
    ColoringNumberSetcoloring number set
    Compositecomposite
    ConcordanceOrderconcordance order
    ConwayNotationConway notation
    ConwayPolynomialConway polynomial
    CrossingNumbercrossing number
    DegreeThreeVassilievdegree3 Vassiliev invariant
    DegreeTwoVassilievdegree2 Vassiliev invariant
    Determinantdeterminant
    DowkerNotationDowker notation
    EntityClassesentity classes
    EntityTypeListentity type list
    Genusgenus of complement
    Graphicgraphic
    HOMFLYPolynomialHOMFLY polynomial
    Hyperbolichyperbolic
    HyperbolicVolumehyperbolic volume of complement
    Informationhyperlink
    Invertibleinvertible
    JonesPolynomialJones polynomial
    KauffmanPolynomialKauffman polynomial
    KnotDiagramknot diagram
    MeshRegionmesh representation
    NakanishiIndexNakanishi index
    Namename
    Nonalternatingnonalternating
    Nonhyperbolicnonhyperbolic
    Noninvertiblenoninvertible
    Nonsatellitenonsatellite
    Nontorusnontorus
    OzsvathSzaboTauOzsváthSzabó τinvariant
    Polyhedronpolyhedron
    Primeprime
    Regionregion
    Satellitesatellite
    SeifertMatrixSeifert matrix
    Signaturesignature
    SmoothFourGenussmooth 4genus
    SpaceCurvespace curve
    StickNumberstick number
    SuperbridgeIndexsuperbridge index
    ThurstonBennequinThurstonBennequin number
    TopologicalFourGenustopological 4genus
    Torustorus
    UnknottingNumberunknotting number

詳細

  • "Knot"実体には,交差数が10個までの主要な結び目だけでなく,特別な無限族もいくつか含まれる.
  • "Knot"実体クラスには,"Alternating"(交代結び目),"Chiral"(カイラルである結び目),"Torus"(トーラス)等のよく使われるタイプの数学の結び目,およびそれらの否定が含まれる.
  • "Knot"実体の多くには,それらが簡潔に表現可能で,よく知られるあるいは単刀直入に計算できる場合には,数学特性が使える.数は少ないが,いくつかの特別なパラメータ化された族のメンバーの特性もオンザフライで計算できる.
  • 特性の中には,"Knot"実体タイプ全体について使え,EntityValue["Knot",property]の形式を使って得られるものもある.そのような特性には以下が含まれる.
  • "Properties"使用できる特性のリスト
    "PropertyCanonicalNames"使用できる特性の標準名
    "SampleEntities"使用できる実体のサンプルリスト(通常の長さは10)
    "SampleEntityClasses"使用できる実体クラスのサンプルリスト(通常の長さは10)
    "EntityCount"使用できる実体の数
    "Entities"使用できる実体のリスト
    "EntityCanonicalNames"使用できる実体の標準名
    "EntityClasses"使用できる実体クラスのリスト
    "EntityClassCanonicalNames"使用できる実体クラスの標準名
    "PropertyClasses"使用できる特性クラスのリスト
    "PropertyClassCanonicalNames"使用できる特性クラスの標準名
    "PropertyCount"使用できる特性の数
  • EntityValue["Knot",property,annotation]の第3引数として以下の注釈が使える.
  • "EntityAssociation"実体と実体特性値の連想
    "PropertyAssociation"特性と実体特性値の連想
    "EntityPropertyAssociation"指定の実体がキー,値が特性と実体特性値のネストした連想である連想
    "PropertyEntityAssociation"指定の特性がキー,値が実体と実体特性値のネストした連想である連想
    "Dataset"指定の実体がキー,値が特性名と実体特性値の連想であるデータ集合
  • EntityValue[property,annotation]の第2引数として以下の注釈が使える.
  • "Qualifiers"特性の可能な限定子のリスト
    "QualifierValues"各限定子に与えることができる値のリスト
    "DefaultQualifierValues"特性の限定子のデフォルト値のリスト
    "Description"特性についての短いテキストでの説明
  • 限定子の値であるAutomaticは,適用できる形式の値が使えることを意味する.

例題

すべて開くすべて閉じる

  (4)

実体を調べる際には,を使う:

ある実体の特性値を求める:

ある実体について使用できる特性すべてのデータ集合を取り出す:

交差数が7である結び目を求める:

スコープ  (5)

限定子  (5)

"AlexanderBriggsNotation"特性に使える限定子を返す:

"AlexanderBriggsNotation"特性に使える限定子と値を返す:

アレクサンダー・ブリッグスの表示法で八の字結び目の計算可能な形式を返す:

アレクサンダー・ブリッグスの表示法で八の字結び目のタイプセット形式を返す:

"BraidDiagram"特性に使える限定子を返す:

"BraidDiagram"特性に使える限定子と値を返す:

ソロモンの封印結び目の2Dグラフィックスを返す:

"BraidWord"特性に使える限定子を返す:

"BraidWord"特性に使える限定子と値を返す:

ブレイドワードで八の字結び目の計算可能な形式を返す:

ブレイドワードで八の字結び目のタイプセット形式を返す:

"DowkerNotation"特性に使える限定子を返す:

"DowkerNotation"特性に使える限定子と値を返す:

ドウカーの表記で八の字結び目の計算可能な形式を返す:

ドウカーの表記で八の字結び目のタイプセット形式を返す:

"Graphic"特性に使える限定子を返す:

グラフィックスで八の字結び目の計算可能な形式を返す: