Regina 7.4 Calculation Engine
|
Represents a combinatorial diagram of a directed knot or link. More...
#include <link/link.h>
Public Types | |
using | PacketChangeGroup |
A type alias for PacketChangeSpan, used when a span is being used purely for optimisation purposes. | |
Public Member Functions | |
std::shared_ptr< PacketOf< Link > > | packet () |
Returns the packet that holds this data, if there is one. | |
std::shared_ptr< const PacketOf< Link > > | packet () const |
Returns the packet that holds this data, if there is one. | |
std::string | anonID () const |
A unique string ID that can be used in place of a packet ID. | |
std::string | str () const |
Returns a short text representation of this object. | |
std::string | utf8 () const |
Returns a short text representation of this object using unicode characters. | |
std::string | detail () const |
Returns a detailed text representation of this object. | |
std::string | tightEncoding () const |
Returns the tight encoding of this object. | |
size_t | hash () const |
Hashes this object to a non-negative integer, allowing it to be used for keys in hash tables. | |
Constructors and Destructors | |
Link () | |
Constructs an empty link. | |
Link (size_t unknots) | |
Constructs the unlink with the given number of components. | |
Link (const Link ©) | |
Constructs a new copy of the given link. | |
Link (const Link ©, bool cloneProps) | |
Constructs a new copy of the given link, with the option of whether or not to clone its computed properties also. | |
Link (Link &&src) noexcept | |
Moves the given link into this new link. | |
Link (const std::string &description) | |
"Magic" constructor that tries to find some way to interpret the given string as a link. | |
~Link () | |
Destroys this link. | |
Crossings and Components | |
bool | isEmpty () const |
Determines whether this link is empty. | |
size_t | size () const |
Returns the number of crossings in this link. | |
size_t | countComponents () const |
Returns the number of components in this link. | |
Crossing * | crossing (size_t index) const |
Returns a pointer to the crossing at the given index within this link. | |
auto | crossings () const |
Returns an object that allows iteration through and random access to all crossings within this link. | |
StrandRef | component (size_t index) const |
Returns a strand in the given component of this link. | |
auto | components () const |
Returns an object that allows iteration through and random access to all components of this link. | |
size_t | countTrivialComponents () const |
Returns the number of zero-crossing unknot components in this link. | |
StrandRef | component (const StrandRef &s) const |
Returns the starting strand for the link component containing the given strand. | |
StrandRef | strand (ssize_t id) const |
Returns the strand in the link with the given integer ID. | |
auto | componentsByStrand () const |
Returns a sequence that maps strand IDs to link component numbers. | |
Crossing * | translate (Crossing *other) const |
Translates a crossing from some other link into the corresponding crossing in this link. | |
StrandRef | translate (const StrandRef &other) const |
Translates a strand reference from some other link into the corresponding strand reference from this link. | |
bool | isConnected () const |
Determines whether this link diagram is connected, if we treat each crossing as a 4-way intersection. | |
bool | connected (const Crossing *a, const Crossing *b) const |
Determines whether the two given crossings are connected in the link diagram, if we treat each crossing as a 4-way intersection. | |
std::vector< Link > | diagramComponents () const |
Returns the connected components of this link diagram as individual standalone links. | |
size_t | countDiagramComponents () const |
Returns the total number of connected diagram components. | |
std::pair< FixedArray< size_t >, size_t > | diagramComponentIndices () const |
Returns an array that maps crossing numbers to connected diagram components. | |
StrandRef | overForComponent (StrandRef component) const |
Locates an over-crossing within the same link component as the given strand. | |
StrandRef | underForComponent (StrandRef component) const |
Locates an under-crossing within the same link component as the given strand. | |
bool | operator== (const Link &other) const |
Determines if this link diagram is combinatorially identical to the given link diagram. | |
ModelLinkGraph | graph () const |
Returns the 4-valent graph that models this link diagram, along with the local embedding of the graph into the surface that contains the diagram. | |
Editing | |
Link & | operator= (const Link &src) |
Sets this to be a (deep) copy of the given link. | |
Link & | operator= (Link &&src) |
Moves the contents of the given link into this link. | |
void | swap (Link &other) |
Swaps the contents of this and the given link. | |
void | insertLink (const Link &source) |
Inserts a copy of the given link into this link. | |
void | insertLink (Link &&source) |
Moves the contents of the given link into this link. | |
void | moveContentsTo (Link &dest) |
Moves the contents of this link into the given destination link, leaving this link empty but otherwise usable. | |
void | change (Crossing *c) |
Switches the upper and lower strands of the given crossing. | |
void | changeAll () |
Switches the upper and lower strands of every crossing in the diagram. | |
void | resolve (Crossing *c) |
Resolves the given crossing. | |
void | makeVirtual (Crossing *crossing) |
Converts the given classical crossing into a virtual crossing. | |
void | graft (StrandRef first, StrandRef second) |
Grafts the two given arcs of this link together, possibly making this a virtual link in the process. | |
void | reflect () |
Converts this link into its reflection. | |
void | rotate () |
Rotates this link diagram, effectively flipping the surface that contains it "upside-down". | |
void | reverse () |
Reverses the orientation of every component of this link. | |
void | reverse (StrandRef component) |
Reverses the orientation of just the link component that contains the given strand. | |
bool | makeAlternating () |
Changes a subset of crossings to convert this into an alternating link diagram. | |
bool | r1 (Crossing *crossing) |
If possible, performs a type I Reidemeister move to remove a crossing at the given location. | |
bool | r1 (StrandRef arc, int side, int sign) |
If possible, performs a type I Reidemeister move to add a new crossing at the given location. | |
bool | r2 (StrandRef arc) |
If possible, performs a type II Reidemeister move to remove two crossings at the given location. | |
bool | r2 (Crossing *crossing) |
If possible, performs a type II Reidemeister move to remove two crossings at the given location. | |
bool | r2 (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide) |
If possible, performs a classical type II Reidemeister move to add two new crossings by pushing two different strands over one another. | |
bool | r2Virtual (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide) |
If possible, performs a virtual type II Reidemeister move to add two new crossings by pushing two different strands over one another. | |
bool | r2Virtual (StrandRef arc, int firstSide, int firstStrand) |
If possible, performs a virtual type II Reidemeister move to add two new crossings by pushing the same strand over itself from opposite sides. | |
bool | r3 (StrandRef arc, int side) |
If possible, performs a type III Reidemeister move at the given location. | |
bool | r3 (Crossing *crossing, int side) |
If possible, performs a type III Reidemeister move at the given location. | |
bool | hasR1 (Crossing *crossing) const |
Determines whether it is possible to perform a type I Reidemeister move at the given location to remove a crossing. | |
bool | hasR1 (StrandRef arc, int side, int sign) const |
Determines whether it is possible to perform a type I Reidemeister move at the given location to add a new crossing. | |
bool | hasR2 (StrandRef arc) const |
Determines whether it is possible to perform a type II Reidemeister move at the given location to remove two crossings. | |
bool | hasR2 (Crossing *crossing) const |
Determines whether it is possible to perform a type II Reidemeister move at the given location to remove two crossings. | |
bool | hasR2 (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide) const |
Determines whether it is possible to perform a classical type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another. | |
bool | hasR2Virtual (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide) const |
Determines whether it is possible to perform a virtual type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another. | |
bool | hasR2Virtual (StrandRef arc, int firstSide, int firstStrand) const |
Determines whether it is possible to perform a virtual type II Reidemeister move at the given location to add two new crossings by pushing the same strand over itself from opposite sides. | |
bool | hasR3 (StrandRef arc, int side) const |
Determines whether it is possible to perform a type III Reidemeister move at the given location. | |
bool | hasR3 (Crossing *crossing, int side) const |
Determines whether it is possible to perform a type III Reidemeister move at the given location. | |
std::optional< Link > | withR1 (Crossing *crossing) const |
If possible, returns the diagram obtained by performing a type I Reidemeister move at the given location to remove a crossing. | |
std::optional< Link > | withR1 (StrandRef arc, int side, int sign) const |
If possible, returns the diagram obtained by performing a type I Reidemeister move at the given location to add a new crossing. | |
std::optional< Link > | withR2 (StrandRef arc) const |
If possible, returns the diagram obtained by performing a type II Reidemeister move at the given location to remove two crossings. | |
std::optional< Link > | withR2 (Crossing *crossing) const |
If possible, returns the diagram obtained by performing a type II Reidemeister move at the given location to remove two crossings. | |
std::optional< Link > | withR2 (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide) const |
If possible, returns the diagram obtained by performing a classical type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another. | |
std::optional< Link > | withR2Virtual (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide) const |
If possible, returns the diagram obtained by performing a virtual type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another. | |
std::optional< Link > | withR2Virtual (StrandRef arc, int firstSide, int firstStrand) const |
If possible, returns the diagram obtained by performing a virtual type II Reidemeister move at the given location to add two new crossings by pushing the same strand over itself from opposite sides. | |
std::optional< Link > | withR3 (StrandRef arc, int side) const |
If possible, returns the diagram obtained by performing a type III Reidemeister move at the given location. | |
std::optional< Link > | withR3 (Crossing *crossing, int side) const |
If possible, returns the diagram obtained by performing a type III Reidemeister move at the given location. | |
bool | r1 (Crossing *crossing, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a type I Reidemeister move to remove a crossing. | |
bool | r1 (StrandRef arc, int side, int sign, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a type I Reidemeister move to add a new crossing. | |
bool | r2 (StrandRef arc, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a type II Reidemeister move to remove two crossings. | |
bool | r2 (Crossing *crossing, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a type II Reidemeister move to remove two crossings. | |
bool | r2 (StrandRef upperArc, int upperSide, StrandRef lowerArc, int lowerSide, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a classical type II Reidemeister move to add two new crossings by pushing two different strands over one another. | |
bool | r3 (StrandRef arc, int side, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a type III Reidemeister move. | |
bool | r3 (Crossing *crossing, int side, bool ignored, bool perform=true) |
Deprecated routine that tests for and optionally performs a type III Reidemeister move. | |
bool | hasReducingPass () const |
Tests whether this classical link has a pass move that will reduce the number of crossings. | |
bool | selfFrame () |
Adds trivial twists to this link to ensure that each component has zero writhe. | |
bool | simplify () |
Attempts to simplify this link diagram as intelligently as possible using fast and greedy heuristics. | |
bool | intelligentSimplify () |
Deprecated alias for simplify(), which attempts to simplify this link diagram as intelligently as possible using fast and greedy heuristics. | |
bool | simplifyToLocalMinimum (bool perform=true) |
Uses type I and II Reidemeister moves to reduce the link monotonically to some local minimum number of crossings. | |
bool | simplifyExhaustive (int height=1, int threads=1, ProgressTrackerOpen *tracker=nullptr) |
Attempts to simplify this link diagram using a slow but exhaustive search through the Reidemeister graph. | |
template<typename Action , typename... Args> | |
bool | rewrite (int height, int threads, ProgressTrackerOpen *tracker, Action &&action, Args &&... args) const |
Explores all link diagrams that can be reached from this via classical Reidemeister moves, without exceeding a given number of additional crossings. | |
template<typename Action , typename... Args> | |
bool | rewriteVirtual (int height, int threads, ProgressTrackerOpen *tracker, Action &&action, Args &&... args) const |
Explores all link diagrams that can be reached from this via classical and/or virtual Reidemeister moves, without exceeding a given number of additional crossings. | |
void | composeWith (const Link &other) |
Forms the composition of this with the given link. | |
Exporting Links | |
std::string | brief () const |
Outputs this link in Regina's own brief write-only format. | |
void | brief (std::ostream &out) const |
Writes this link in Regina's own brief format to the given output stream. | |
std::string | gauss () const |
Returns a classical Gauss code for this knot, presented as a string. | |
std::vector< int > | gaussData () const |
Returns a classical Gauss code for this knot, presented as a vector of integers. | |
void | gauss (std::ostream &out) const |
Writes a classical Gauss code for this knot to the given output stream. | |
std::string | orientedGauss () const |
Returns an oriented Gauss code for this knot, presented as a string. | |
std::vector< std::string > | orientedGaussData () const |
Returns an oriented Gauss code for this knot, presented as a vector of string tokens. | |
void | orientedGauss (std::ostream &out) const |
Writes an oriented Gauss code for this knot to the given output stream. | |
std::string | signedGauss () const |
Returns a signed Gauss code for this knot, presented as a string. | |
std::vector< std::string > | signedGaussData () const |
Returns a signed Gauss code for this knot, presented as a vector of string tokens. | |
void | signedGauss (std::ostream &out) const |
Writes a signed Gauss code for this knot to the given output stream. | |
std::string | jenkins () const |
Exports this link using Bob Jenkins' text format, returning a single string. | |
std::vector< int > | jenkinsData () const |
Exports this link using Bob Jenkins' text format, returning a vector of integers. | |
void | jenkins (std::ostream &out) const |
Exports this link to the given output stream using Bob Jenkins' text format. | |
std::string | dt (bool alpha=false) const |
Exports this classical knot in either numerical or alphabetical Dowker-Thistlethwaite notation, returning a string. | |
std::vector< int > | dtData () const |
Exports this classical knot in numerical Dowker-Thistlethwaite notation, returning a vector of integers. | |
void | dt (std::ostream &out, bool alpha=false) const |
Writes this classical knot to the given output stream using Dowker-Thistlethwaite notation. | |
std::string | pd () const |
Returns a planar diagram code for this link, presented as a string. | |
std::vector< std::array< int, 4 > > | pdData () const |
Returns a planar diagram code for this link, presented as vector of 4-tuples. | |
void | pd (std::ostream &out) const |
Writes a planar diagram code for this link to the given output stream. | |
bool | pdAmbiguous () const |
Determines whether this link has any components whose orientations cannot be recovered from a planar diagram code. | |
void | writePACE (std::ostream &out) const |
Outputs the underlying 4-valent multigraph for this link diagram using the PACE text format. | |
std::string | pace () const |
Returns a text representation of the underlying 4-valent multigraph for this link diagram, using the PACE text format. | |
std::string | source (Language language=Language::Current) const |
Returns C++ or Python source code that can be used to reconstruct this link. | |
std::string | dumpConstruction () const |
Deprecated routine that returns C++ code to reconstruct this link. | |
std::string | sig (bool allowReflection=true, bool allowReversal=true, bool allowRotation=true) const |
Constructs the signature for this knot or link diagram. | |
std::string | knotSig (bool allowReflection=true, bool allowReversal=true, bool allowRotation=true) const |
Alias for sig(), which constructs the signature for this knot or link diagram. | |
void | tightEncode (std::ostream &out) const |
Writes the tight encoding of this link to the given output stream. | |
void | writeTextShort (std::ostream &out) const |
Writes a short text representation of this link to the given output stream. | |
void | writeTextLong (std::ostream &out) const |
Writes a detailed text representation of this link to the given output stream. | |
Static Public Member Functions | |
static Link | tightDecoding (const std::string &enc) |
Reconstructs an object of type T from its given tight encoding. | |
Static Public Attributes | |
static constexpr const char * | alexanderVar = "t" |
The name of the variable used in the Alexander polynomial, as returned by alexander(). | |
static constexpr const char * | jonesVar = "\u221At" |
The name of the variable used in the Jones polynomial, as returned by jones(). | |
static constexpr const char * | bracketVar = "A" |
The name of the variable used in the Kauffman bracket, as returned by bracket(). | |
static constexpr const char * | homflyAZVarX = "\u03B1" |
The name of the first variable used in the variant of the HOMFLY-PT polynomial as returned by homflyAZ(). | |
static constexpr const char * | homflyAZVarY = "z" |
The name of the second variable used in the variant of the HOMFLY-PT polynomial as returned by homflyAZ(). | |
static constexpr const char * | homflyLMVarX = "\U0001D4C1" |
The name of the first variable used in the variant of the HOMFLY-PT polynomial as returned by homflyLM(). | |
static constexpr const char * | homflyLMVarY = "m" |
The name of the second variable used in the variant of the HOMFLY-PT polynomial as returned by homflyLM(). | |
static constexpr const char * | homflyVarX = homflyAZVarX |
The name of the first variable used in the variant of the HOMFLY-PT polynomial as returned by homfly(). | |
static constexpr const char * | homflyVarY = homflyAZVarY |
The name of the second variable used in the variant of the HOMFLY-PT polynomial as returned by homfly(). | |
static constexpr const char * | affineIndexVar = "t" |
The name of the variable used in the affine index polynomial, as returned by affineIndex(). | |
Protected Member Functions | |
bool | topologyLocked () const |
Returns whether or not there are any topology locks currently held on this object. | |
Protected Attributes | |
PacketHeldBy | heldBy_ |
Indicates whether this Held object is in fact the inherited data for a PacketOf<Held>. | |
uint8_t | topologyLock_ { 0 } |
The number of topology locks currently held on this object. | |
Building Links | |
class | ModelLinkGraph |
class | Tangle |
class | XMLLinkCrossingsReader |
class | XMLLinkComponentsReader |
class | XMLWriter< Link > |
void | insertTorusLink (int p, int q, bool positive=true) |
Inserts a new (p, q) torus link into this link. | |
template<typename... Args> | |
static Link | fromData (std::initializer_list< int > crossingSigns, std::initializer_list< Args >... components) |
Creates a new classical or virtual link from hard-coded information about its crossings and components. | |
template<typename SignIterator , typename ComponentIterator > | |
static Link | fromData (SignIterator beginSigns, SignIterator endSigns, ComponentIterator beginComponents, ComponentIterator endComponents) |
Creates a new classical or virtual link from information about its crossings and components. | |
static Link | fromSig (const std::string &sig) |
Recovers a classical or virtual link diagram from its knot/link signature. | |
static Link | fromKnotSig (const std::string &sig) |
Alias for fromSig(), to recover a classical or virtual link diagram from its knot/link signature. | |
static Link | tightDecode (std::istream &input) |
Reconstructs a classical or virtual link from its given tight encoding. | |
static Link | fromGauss (const std::string &str) |
Creates a new classical knot from a classical Gauss code, presented as a string. | |
template<typename Iterator > | |
static Link | fromGauss (Iterator begin, Iterator end) |
Creates a new classical knot from a classical Gauss code, presented as an integer sequence. | |
static Link | fromOrientedGauss (const std::string &str) |
Creates a new classical or virtual knot from an "oriented" variant of the Gauss code, presented as string. | |
template<typename Iterator > | |
static Link | fromOrientedGauss (Iterator begin, Iterator end) |
Creates a new classical or virtual knot from an "oriented" variant of the Gauss code, presented as a sequence of string tokens. | |
static Link | fromSignedGauss (const std::string &str) |
Creates a new classical or virtual knot from a "signed" variant of the Gauss code, presented as string. | |
template<typename Iterator > | |
static Link | fromSignedGauss (Iterator begin, Iterator end) |
Creates a new classical or virtual knot from a "signed" variant of the Gauss code, presented as a sequence of string tokens. | |
static Link | fromJenkins (const std::string &str) |
Creates a new classical or virtual link from Bob Jenkins' format, presented as a string. | |
static Link | fromJenkins (std::istream &in) |
Creates a new classical or virtual link from Bob Jenkins' format, read directly from an input stream. | |
template<typename Iterator > | |
static Link | fromJenkins (Iterator begin, Iterator end) |
Creates a new classical or virtual link from Bob Jenkins' format, presented as an integer sequence. | |
static Link | fromDT (const std::string &str) |
Creates a new classical knot from either alphabetical or numerical Dowker-Thistlethwaite notation, presented as a string. | |
template<typename Iterator > | |
static Link | fromDT (Iterator begin, Iterator end) |
Creates a new classical knot from numerical Dowker-Thistlethwaite notation, presented as an integer sequence. | |
static Link | fromPD (const std::string &str) |
Creates a new classical or virtual link from a planar diagram code, presented as a string. | |
template<typename Iterator > | |
static Link | fromPD (Iterator begin, Iterator end) |
Creates a new classical or virtual link from a planar diagram code, presented as a sequence of 4-tuples. | |
Invariants and Related Properties | |
bool | isAlternating () const |
Returns whether this link diagram is alternating. | |
long | linking () const |
Returns the linking number of this link, or throws an exception if it is not an integer. | |
long | linking2 () const |
Returns twice the linking number of this link, which is always an integer for both classical and virtual links. | |
long | writhe () const |
Returns the writhe of this link diagram. | |
long | writheOfComponent (StrandRef component) const |
Returns the writhe of a single component of this link diagram. | |
long | writheOfComponent (size_t index) const |
Returns the writhe of a single component of this link diagram. | |
long | oddWrithe () const |
Returns the odd writhe, or self-linking number, of this knot. | |
bool | isClassical () const |
Determines whether this link diagram is classical (that is, planar). | |
size_t | virtualGenus () const |
Determines the virtual genus of this link diagram. | |
size_t | seifertCircles () const |
Returns the number of Seifert circles for this link diagram. | |
Triangulation< 3 > | complement (bool simplify=true) const |
Returns an ideal triangulation of the complement of this link diagram. | |
Triangulation< 3 > | longComplement (StrandRef breakOpen={}, bool simplify=true) const |
Treats this as a long knot, and returns a triangulation of the complement with mixed real/ideal boundary. | |
Link | whiteheadDouble (bool positive=true) const |
Returns the untwisted positive or negative Whitehead double of this knot. | |
Link | parallel (int k, Framing framing=Framing::Seifert) const |
Returns k cables of this link, all parallel to each other using the given framing. | |
const Polynomial< Integer > & | alexander () const |
Returns the Alexander polynomial of this classical knot. | |
bool | knowsAlexander () const |
Is the Alexander polynomial of this knot already known? See alexander() for further details. | |
const Laurent< Integer > & | bracket (Algorithm alg=Algorithm::Default, int threads=1, ProgressTracker *tracker=nullptr) const |
Returns the Kauffman bracket polynomial of this link diagram. | |
const Laurent< Integer > & | bracket (Algorithm alg, ProgressTracker *tracker) const |
Deprecated routine that returns the Kauffman bracket polynomial of this link diagram, using a single thread and an explicit progress tracker. | |
bool | knowsBracket () const |
Is the Kauffman bracket polynomial of this link diagram already known? See bracket() for further details. | |
const Laurent< Integer > & | jones (Algorithm alg=Algorithm::Default, int threads=1, ProgressTracker *tracker=nullptr) const |
Returns the Jones polynomial of this link, but with all exponents doubled. | |
const Laurent< Integer > & | jones (Algorithm alg, ProgressTracker *tracker) const |
Deprecated routine that returns the Jones polynomial of this link with all exponents doubled, using a single thread and an explicit progress tracker. | |
bool | knowsJones () const |
Is the Jones polynomial of this link already known? See jones() for further details. | |
const Laurent2< Integer > & | homflyAZ (Algorithm alg=Algorithm::Default, ProgressTracker *tracker=nullptr) const |
Returns the HOMFLY-PT polynomial of this classical link, as a polynomial in alpha and z. | |
const Laurent2< Integer > & | homflyLM (Algorithm alg=Algorithm::Default, ProgressTracker *tracker=nullptr) const |
Returns the HOMFLY-PT polynomial of this classical link, as a polynomial in l and m. | |
const Laurent2< Integer > & | homfly (Algorithm alg=Algorithm::Default, ProgressTracker *tracker=nullptr) const |
Returns the HOMFLY-PT polynomial of this classical link, as a polynomial in alpha and z. | |
bool | knowsHomfly () const |
Is the HOMFLY-PT polynomial of this link already known? See homflyAZ() and homflyLM() for further details. | |
const Arrow & | arrow (Algorithm alg=Algorithm::Default, int threads=1, ProgressTracker *tracker=nullptr) const |
Returns the normalised arrow polynomial of this link. | |
bool | knowsArrow () const |
Is the normalised arrow polynomial of this link already known? See arrow() for further details. | |
Laurent< Integer > | affineIndex () const |
Returns the affine index polynomial of this knot. | |
GroupPresentation | group (bool simplify=true) const |
Returns the link group, as constructed from the Wirtinger presentation. | |
std::pair< GroupPresentation, GroupPresentation > | groups (bool simplify=true) const |
Returns the two groups constructed from the Wirtinger presentation for this link and its mirror image. | |
GroupPresentation | extendedGroup (bool simplify=true) const |
Returns the extended group of this link, as defined by Silver and Williams. | |
std::pair< GroupPresentation, GroupPresentation > | extendedGroups (bool simplify=true) const |
Returns the extended groups of this link and its mirror image. | |
const TreeDecomposition & | niceTreeDecomposition () const |
Returns a nice tree decomposition of the 4-valent multigraph formed by this link diagram. | |
void | useTreeDecomposition (TreeDecomposition td) |
Instructs Regina to use the given tree decomposition as the starting point whenever it needs a tree decomposition for this link. | |
bool | improveTreewidth (ssize_t maxAttempts=1000, int height=1, int threads=1, ProgressTrackerOpen *tracker=nullptr) |
Attempts to rewrite this link diagram to become one with a smaller width tree decomposition. | |
static Laurent2< Integer > | homflyAZtoLM (Laurent2< Integer > homflyAZ) |
Converts between the (alpha, z) and (l, m) representations of the HOMFLY-PT polynomial. | |
Represents a combinatorial diagram of a directed knot or link.
Regina uses the word link to refer to links with any number of components, including knots (which have exactly one component) and the empty link (which has no components at all).
Since Regina 7.4, this class supports both classical and virtual links:
This class stores a purely combinatorial representation of a 2-dimensional link diagram, using just the combinatorics of the classical crossings and the connections between them. In particular:
This Link class supports links with any number of components (including zero), and it also supports components with no crossings (which form additional unknot components of the overall link).
Since Regina 7.0, this is no longer a "packet type" that can be inserted directly into the packet tree. Instead a Link is now a standalone mathematatical object, which makes it slimmer and faster for ad-hoc use. The consequences of this are:
If you are adding new functions to this class that edit the internal data structures of the link, you must remember to surround these changes with a ChangeAndClearSpan. This manages bookkeeping such as clearing computed properties, and (if this link does belong to a packet) firing packet change events.
This class implements C++ move semantics and adheres to the C++ Swappable requirement. It is designed to avoid deep copies wherever possible, even when passing or returning objects by value.
|
inherited |
A type alias for PacketChangeSpan, used when a span is being used purely for optimisation purposes.
This type alias is used in the same way as Packet::PacketChangeGroup: it is purely for the benefit of the human reader, used to indicate that an event span is present purely for optimisation (and in particular, that the code would still be correct without it).
See Packet::PacketChangeGroup for further details.
|
inline |
Constructs an empty link.
This will have zero components.
|
inline |
Constructs the unlink with the given number of components.
unknots | the number of (unknotted) components in the new unlink. |
|
inline |
Constructs a new copy of the given link.
This will clone any computed properties (such as Jones polynomial and so on) of the given link also. If you want a "clean" copy that resets all properties to unknown, you can use the two-argument copy constructor instead.
copy | the link to copy. |
regina::Link::Link | ( | const Link & | copy, |
bool | cloneProps ) |
Constructs a new copy of the given link, with the option of whether or not to clone its computed properties also.
copy | the link to copy. |
cloneProps | true if this should also clone any computed properties of the given link (such as Jones polynomial and so on), or false if the new link should have all properties marked as unknown. |
|
noexcept |
Moves the given link into this new link.
This is a fast (constant time) operation.
All crossings that belong to src will be moved into this link, and so any Crossing pointers or StrandRef object will remain valid. Likewise, all cached properties will be moved into this link.
The link that is passed (src) will no longer be usable.
noexcept
, and in particular does not fire any change events. This is because this link is freshly constructed (and therefore has no listeners yet), and because we assume that src is about to be destroyed (an action that will fire a packet destruction event).src | the link to move. |
regina::Link::Link | ( | const std::string & | description | ) |
"Magic" constructor that tries to find some way to interpret the given string as a link.
At present, Regina understands the following types of strings (and attempts to parse them in the following order):
This list may grow in future versions of Regina.
InvalidArgument | Regina could not interpret the given string as representing a link using any of the supported string types. |
description | a string that describes a knot or link. |
|
inline |
Destroys this link.
The Crossing objects contained in this link will also be destroyed.
Returns the affine index polynomial of this knot.
This polynomial invariant is described in L.H. Kauffman, "An affine index polynomial invariant of virtual knots", J. Knot Theory Ramifications 22 (2013), no. 4, 1340007.
At present, Regina only computes affine index polynomials for knots, not multiple-component links. Virtual knots are supported (and indeed are the only meaningful case, since the affine index polynomial of a classical knot is always zero). If this link is empty or has more than one component, then this routine will throw an exception.
To pretty-print the affine index polynomial for human consumption, you can call Laurent::str(Link::affineIndexVar)
.
Unlike most polynomial invariants, computing the affine index polynomial is extremely fast, and so this polynomial is not cached.
FailedPrecondition | This link is empty or has multiple components. |
const Polynomial< Integer > & regina::Link::alexander | ( | ) | const |
Returns the Alexander polynomial of this classical knot.
At present, Regina only computes Alexander polynomials for classical knots, not multiple-component links or virtual knots. If this link is empty, has more than one component, or uses a virtual diagram, then this routine will throw an exception.
To pretty-print the Alexander polynomial for human consumption, you can call Polynomial::str(Link::alexanderVar)
.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, alexander() should be called again; this will be instantaneous if the Alexander polynomial has already been calculated.
If this polynomial has already been computed, then the result will be cached and so this routine will be instantaneous (since it just returns the previously computed result).
FailedPrecondition | This link is empty, has multiple components, and/or uses a virtual (not classical) link diagram. |
|
inherited |
A unique string ID that can be used in place of a packet ID.
This is an alternative to Packet::internalID(), and is designed for use when Held is not actually wrapped by a PacketOf<Held>. (An example of such a scenario is when a normal surface list needs to write its triangulation to file, but the triangulation is a standalone object that is not stored in a packet.)
The ID that is returned will:
These IDs are not preserved when copying or moving one object to another, and are not preserved when writing to a Regina data file and then reloading the file contents.
See Packet::internalID() for further details.
const Arrow & regina::Link::arrow | ( | Algorithm | alg = Algorithm::Default, |
int | threads = 1, | ||
ProgressTracker * | tracker = nullptr ) const |
Returns the normalised arrow polynomial of this link.
The arrow polynomial is a generalisation of the Kauffman bracket for virtual knots and links. The polynomial will be normalised using the writhe of the diagram to obtain a virtual link invariant, in a similar way to how the Kauffman bracket can be normalised to obtain the Jones polynomial. Regina follows the description in H.A. Dye and L.H. Kauffman, "Virtual crossing number and the arrow polynomial", J. Knot Theory Ramifications 18 (2009), no. 10, 1335-1357.
If this is the empty link, then this routine will return the zero polynomial.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, arrow() should be called again; this will be instantaneous if the arrow polynomial has already been calculated.
If this polynomial has already been computed, then the result will be cached and so this routine will be very fast (since it just returns the previously computed result). Otherwise the computation could be quite slow, particularly for larger numbers of crossings.
NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . (On a typical machine where int is 32-bit, this would require over a billion crossings). Note that, if you have such a link, then this function (which is exponential time) would be intractably slow anyway. |
alg | the algorithm with which to compute the polynomial. If you are not sure, the default (Algorithm::Default) is a safe choice. If you wish to specify a particular algorithm, there are currently two choices: Algorithm::Naive is a slow algorithm that computes the arrow polynomial by resolving all crossings in all possible ways, and Algorithm::Treewidth uses a fixed-parameter tractable treewidth-based algorithm. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
threads | the number of threads to use. If this is 1 or smaller then the computation will run single-threaded. Currently only the naive algorithm supports multithreading; if you use the treewidth-based algorithm then it will run single-threaded regardless of the value of threads. |
|
inline |
Deprecated routine that returns the Kauffman bracket polynomial of this link diagram, using a single thread and an explicit progress tracker.
This routine is provided for backward compatibility: its only purpose is to offer a syntax that was supported in old versions of Regina but is not consistent with the new form of bracket() that supports multithreading.
See bracket(Algorithm, int, ProgressTracker*) for further details on what this routine does and relevant warnings that you should be aware of.
bracket(alg, 1, tracker)
instead.NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . |
alg | the algorithm with which to compute the polynomial. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
const Laurent< Integer > & regina::Link::bracket | ( | Algorithm | alg = Algorithm::Default, |
int | threads = 1, | ||
ProgressTracker * | tracker = nullptr ) const |
Returns the Kauffman bracket polynomial of this link diagram.
Note that the bracket polynomial is not an invariant - it is preserved under Reidemeister moves II and III, but not I.
If this is the empty link, then this routine will return the zero polynomial.
To pretty-print this polynomial for human consumption, you can call Laurent::str(Link::bracketVar)
.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, bracket() should be called again; this will be instantaneous if the bracket polynomial has already been calculated.
If this polynomial has already been computed, then the result will be cached and so this routine will be very fast (since it just returns the previously computed result). Otherwise the computation could be quite slow, particularly for larger numbers of crossings.
Since Regina 7.0, this routine will not return until the polynomial computation is complete, regardless of whether a progress tracker was passed. If you need the old behaviour (where passing a progress tracker caused the computation to start in the background), simply call this routine in a new detached thread.
NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . (On a typical machine where int is 32-bit, this would require over a billion crossings). Note that, if you have such a link, then this function (which is exponential time) would be intractably slow anyway. |
alg | the algorithm with which to compute the polynomial. If you are not sure, the default (Algorithm::Default) is a safe choice. If you wish to specify a particular algorithm, there are currently two choices: Algorithm::Naive is a slow algorithm that computes the Kauffman bracket by resolving all crossings in all possible ways, and Algorithm::Treewidth uses a fixed-parameter tractable treewidth-based algorithm. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
threads | the number of threads to use. If this is 1 or smaller then the computation will run single-threaded. Currently only the naive algorithm supports multithreading; if you use the treewidth-based algorithm then it will run single-threaded regardless of the value of threads. |
std::string regina::Link::brief | ( | ) | const |
Outputs this link in Regina's own brief write-only format.
This format is concise, but contains enough information to manually reconstruct the complete link diagram.
This format cannot (yet) be used to read links back into Regina, and so it is not good for external storage, or for passing links between different programs (or even different instances of Regina). It was originally designed for use with the test suite, where it was used to ensure that links with being created and/or manipulated correctly.
The output will contain the following elements, separated by single spaces:
+
or -
), concatenated together, giving the signs of the crossings in order from crossing 0 to crossing size()-1;( a b c ... )
, indicating the crossings that are encountered as we follow the component in the forward direction from its starting strand. Each element a, b, c and so on will be written in the format used by the StrandRef class: either ^n
when passing over crossing n, or _n
when passing under crossing n.For example, the Whitehead link as returned by ExampleLink.whitehead() will give the following brief output:
--++- ( ^0 _1 ^4 _3 ^2 _4 ) ( _0 ^1 _2 ^3 )
As a special case, if the link contains no crossings, then the output will not begin with a space; instead it will simply be a sequence of the form ( ) ( ) ... ( )
.
The string will not end in a newline.
There is also a variant of brief() that writes directly to an output stream.
void regina::Link::brief | ( | std::ostream & | out | ) | const |
Writes this link in Regina's own brief format to the given output stream.
See brief() for a full description of Regina's brief format, as well as its limitations.
The output from this routine is precisely the string that would be returned by brief(). In particular, the output does not contain any newlines.
See also brief(), which returns the brief format as a string.
out | the output stream to which to write. |
void regina::Link::change | ( | Crossing * | c | ) |
Switches the upper and lower strands of the given crossing.
c | the crossing to change. |
void regina::Link::changeAll | ( | ) |
Switches the upper and lower strands of every crossing in the diagram.
As a result, the sign of every crossing will also change.
This operation corresponds to reflecting the link diagram through the surface on which it is drawn.
In the language of Jeremy Green's virtual knot tables, this operation is a vertical mirror image.
|
inline |
Returns an ideal triangulation of the complement of this link diagram.
The triangulation will have one ideal vertex for each link component.
If this is a classical link diagram:
If this is a virtual (non-classical) diagram:
S × I
. There will be two additional ideal vertices, one for each copy of S on the boundary. If the link diagram is disconnected, then the surface S that is used will be the connected sum of the individual closed orientable surfaces that host each connected diagram component (i.e., the resulting triangulation will be connected).Note that for classical links, the complement is a topological invariant of the link; however, for virtual (non-classical) links, the complement (and indeed the genus of the surface S) is a property of the specific link diagram.
Assuming you pass simplify as true
(the default), the resulting triangulation will typically have no internal vertices; however, this is not guaranteed.
Initially, each tetrahedron will be oriented according to a right-hand rule: the thumb of the right hand points from vertices 0 to 1, and the fingers curl around to point from vertices 2 to 3. If you pass simplify as true
, then Regina will attempt to simplify the triangulation to as few tetrahedra as possible: this may relabel the tetrahedra, though their orientations will be preserved.
simplify | true if and only if the triangulation of the complement should be simplified to use as few tetrahedra as possible. |
Returns the starting strand for the link component containing the given strand.
By the starting strand for a link component, we mean the strand that is returned by component(i)
for the appropriate index i, or equivalently the strand representing that component in the list components()
. In particular:
component(s)
and component(t)
will always be equal.component(s)
and component(t)
will be different.component(s)
will return a null strand reference to indicate this.If the strand s does not belong to this link diagram at all (including the case where s is a null reference but this link diagram has no zero-crossing unknot components), then component(s)
will thrown an exception.
NoSolution | The given strand s does not belong to this link diagram. |
s | the strand to query. |
|
inline |
Returns a strand in the given component of this link.
Components are individual circles embedded in the ambient 3-manifold (they have nothing to do with the connectivity of the link diagram). So, for example, the Hopf link has two components.
For each component of the link, this routine returns a "starting strand". You can traverse the entire component by beginning at this starting strand and repeatedly incrementing it through a routine such as StrandRef::operator++ or StrandRef::next().
If a component has no crossings (which means it must be a separate unknot component), then this routine will return a null reference (i.e., StrandRef::crossing() will return null
).
index | the index of the requested component. This must be between 0 and countComponents()-1 inclusive. |
|
inline |
Returns an object that allows iteration through and random access to all components of this link.
Components are individual circles embedded in the ambient 3-manifold (they have nothing to do with the connectivity of the link diagram). So, for example, the Hopf link has two components.
The object that is returned is lightweight, and can be happily copied by value. The C++ type of the object is subject to change, so C++ users should use auto
(just like this declaration does).
The returned object is guaranteed to be an instance of ListView, which means it offers basic container-like functions and supports range-based for
loops. Each element of the list will be a starting strand for some component; more precisely, iterating through this list is equivalent to calling component(0)
, component(1)
, ..., component(countComponents()-1)
in turn. As an example, your code might look like:
The object that is returned will remain up-to-date and valid for as long as the link exists: even as components are added and/or removed, it will always reflect the components that are currently in the link. Nevertheless, it is recommended to treat this object as temporary only, and to call components() again each time you need it.
|
inline |
Returns a sequence that maps strand IDs to link component numbers.
This sequence will have length 2n
, where n is the number of crossings in this link diagram. If strand is a non-null strand reference, map is the sequence that is returned, and map[strand.id()] == c
, then this indicates that strand is part of the link component defined by component(c)
.
Null strand references are not handled by this map: they have a negative ID (which means calling map[strand.id()]
is an error), and they could refer to any 0-crossing unknot component (so the specific component might not be uniquely determined).
The return type is deliberately not specified here. It is guaranteed to be a container whose elements have type size_t
, with value semantics, fast move construction and swap operations, an array index operator, and random access iterators. It is not guaranteed to have a copy assignment operator (but it will support fast move assignment). At present the specific implementation returns FixedArray<size_t>
, though this is subject to change in future versions of Regina and so end user code should always use auto
.
void regina::Link::composeWith | ( | const Link & | other | ) |
Forms the composition of this with the given link.
This link will be altered directly, and the given link will be left unchanged.
Specifically, this routine will insert a copy of the given link into this link, and will graft its first component into the first component of this link in a way that preserves orientations and crossing signs. If either this and/or the given link has more than one component, then any additional components will be left alone (i.e., they will remain as different components in the final result).
If either link is empty (i.e., contains no components at all), then the result will simply be a clone of the other link (with no composition operation performed).
It is allowed to pass this link as other.
other | the link with which this should be composed. |
Determines whether the two given crossings are connected in the link diagram, if we treat each crossing as a 4-way intersection.
This tests whether it is possible to travel between the two given crossings by:
In particular, two crossings may be connected in the diagram even if they involve entirely different components of the link.
See isConnected() for further discussion on the connectivity of link diagrams.
In general this routine requires time linear in the link size (though it is constant time for knots and empty links). If you are planning to call this routine frequently, you might wish to consider using diagramComponentIndices() instead. That routine returns a lookup table with which you can then test pairwise connectivity via constant-time lookup.
a | the first of the two crossings to examine. |
b | the second of the two crossings to examine. |
true
if and only if the two given crossings are connected.
|
inline |
Returns the number of components in this link.
This is the number of circles embedded in the ambient 3-manifold (it has nothing to do with the connectivity of the link diagram). So, for example, the number of components in the Hopf link is two.
size_t regina::Link::countDiagramComponents | ( | ) | const |
Returns the total number of connected diagram components.
As with diagramComponents(), this routine is interested in connected components of the link diagram (i.e., components that are connected in the graph theoretical sense if we treat each crossing as a 4-way intersection). See diagramComponents() for further discussion on this.
This routine simply computes the total number of connected components (including trivial zero-crossing components).
size_t regina::Link::countTrivialComponents | ( | ) | const |
Returns the number of zero-crossing unknot components in this link.
|
inline |
Returns a pointer to the crossing at the given index within this link.
For a link with n crossings, the crossings are numbered from 0 to n-1 inclusive.
index | the index of the requested crossing. This must be between 0 and size()-1 inclusive. |
|
inline |
Returns an object that allows iteration through and random access to all crossings within this link.
The object that is returned is lightweight, and can be happily copied by value. The C++ type of the object is subject to change, so C++ users should use auto
(just like this declaration does).
The returned object is guaranteed to be an instance of ListView, which means it offers basic container-like functions and supports range-based for
loops. Note that the elements of the list will be pointers, so your code might look like:
The object that is returned will remain up-to-date and valid for as long as the link exists: even as crossings are added and/or removed, it will always reflect the crossings that are currently in the link. Nevertheless, it is recommended to treat this object as temporary only, and to call crossings() again each time you need it.
|
inherited |
Returns a detailed text representation of this object.
This text may span many lines, and should provide the user with all the information they could want. It should be human-readable, should not contain extremely long lines (which cause problems for users reading the output in a terminal), and should end with a final newline. There are no restrictions on the underlying character set.
std::pair< FixedArray< size_t >, size_t > regina::Link::diagramComponentIndices | ( | ) | const |
Returns an array that maps crossing numbers to connected diagram components.
This routine performs a similar function to diagramComponents(), but returns its results as just a list of numbers (not a list of links), and thereby involves less overhead. This could (for example) be useful as a part of some larger algorithm that needs access to a lookup table for testing pairwise connectivity between crossings.
As with diagramComponents(), this routine is interested in connected components of the link diagram (i.e., components that are connected in the graph theoretical sense if we treat each crossing as a 4-way intersection). See diagramComponents() for further discussion on this.
This routine returns a mapping from crossing indices to diagram components, where both are represented by integer indices. For crossings we use the usual crossing index; for diagram components, we number the diagram components from 0 upwards and ignore trivial (zero-crossing) components entirely.
auto
to collect the return value from this routine. (For Python users, the array will be converted into a Python list.)std::vector< Link > regina::Link::diagramComponents | ( | ) | const |
Returns the connected components of this link diagram as individual standalone links.
Here connected components are not the same as link components. A connected component means a portion of the link diagram that is connected when we treat each crossing as a 4-way intersection. In other words, one can travel around the connected component by following the link around, and/or jumping between upper and lower strands at crossings. A single connected component of the diagram may contain multiple link components, and will always describe a sublink for which isConnected() returns true
.
The connected components are a property of the diagram, not an invariant of the link itself, since the locations of the crossings matter. In particular:
The connected components that are returned will be cloned from this link (so even if this diagram is connected and there is just one connected component, a deep copy will still take place). The total number of crossings across all of the links that are returned will equal size(), and the total number of link components across all of the links that are returned will equal countComponents().
In the list that is returned, any zero-crossing diagram components will all appear at the end, after all of the components that do involve crossings.
If you do not need a collection of fully-formed link objects, you could instead try one of the lightweight variants of this routine:
std::string regina::Link::dt | ( | bool | alpha = false | ) | const |
Exports this classical knot in either numerical or alphabetical Dowker-Thistlethwaite notation, returning a string.
Like classical Gauss codes, Dowker-Thistlethwaite notation essentially describes the 4-valent graph of a knot but not the particular embedding in the plane. It comes with major restrictions:
If you need a code that specifies the knot uniquely, and/or is fast to parse, and/or can work with both classical and virtual knots, you should use the oriented Gauss code instead, which resolves all of these issues.
For an n-crossing knot, Regina supports two variants of Dowker-Thistlethwaite notation:
a
,b
,c
,...), and replacing negative integers (-2,-4,-6,...) with upper-case letters (A
,B
,C
,...). This alphabetical variant can only be used for knots with 26 crossings or fewer; for larger knots this routine will throw an exception if the alphabetical variant is requested.As an example, you can describe the trefoil using numerical Dowker-Thistlethwaite notation as:
4 6 2
In alphabetical Dowker-Thistlethwaite notation, this becomes:
bca
Currently Regina only supports Dowker-Thistlethwaite codes for knots, not empty or multiple component links. If this link does not have precisely one component, then this routine will throw an exception. It is possible that in future versions of Regina, Dowker-Thistlethwaite codes will be expanded to cover all possible link diagrams (hence the choice of NotImplemented as the exception type).
For numerical Dowker-Thistlethwaite notation, this routine will format the list of integers as a string. The integers will be separated by single spaces, and there will be no newlines. For alphabetical Dowker-Thistlethwaite notation, the string that is returned will not contain any whitespace at all.
For the numerical variant, the routine dtData() returns this same data in machine-readable format (as a C++ vector), instead of the human-readable format used here (a string). There is also another variant of dt() that can write either the numerical or the alphabetical variant directly to an output stream.
NotImplemented | Either this link is empty or has multiple components, or this is a virtual (not classical) link diagram, or alpha is true and this link diagram has more than 26 crossings. |
alpha | true to use alphabetical notation, or false (the default) to use numerical notation. |
void regina::Link::dt | ( | std::ostream & | out, |
bool | alpha = false ) const |
Writes this classical knot to the given output stream using Dowker-Thistlethwaite notation.
See dt(bool) for a full description of Dowker-Thistlethwaite notation as it is used in Regina, as well as its limitations.
This routine can write either numerical or alphabetical Dowker-Thistlethwaite notation, as indicated by the optional argument alpha.
The output from this routine is precisely the string that would be returned by dt(bool). In particular, the output does not contain any newlines.
For a function that returns the Dowker-Thistlethwaite notation (as opposed to writing it to an output stream), you could use dt(bool) (which returns the Dowker-Thistlethwaite notation as a human-readable string), or dtData() (which returns the numerical Dowker-Thistlethwaite notation as a machine-readable sequence of integers).
NotImplemented | Either this link is empty or has multiple components, or this is a virtual (not classical) link diagram, or alpha is true and this link diagram has more than 26 crossings. |
out | the output stream to which to write. |
alpha | true to use alphabetical notation, or false (the default) to use numerical notation. |
std::vector< int > regina::Link::dtData | ( | ) | const |
Exports this classical knot in numerical Dowker-Thistlethwaite notation, returning a vector of integers.
See dt(bool) for a full description of Dowker-Thistlethwaite notation as it is used in Regina, as well as its limitations.
Although Regina can work with both the numerical and alphabetical variants of Dowker-Thistlethwaite notation, this dtData() routine exports the numerical variant only. If you wish to export the alphabetical variant, you can call dt(true)
.
This routine returns machine-readable data (as a C++ vector); in contrast, calling dt()
returns the same integer sequence in human-readable format (as a string).
NotImplemented | Either this link is empty or has multiple components, or this is a virtual (not classical) link diagram, or this diagram has so many crossings that the Dowker-Thistlethwaite notation cannot be expressed using native C++ integers. |
|
inline |
Deprecated routine that returns C++ code to reconstruct this link.
source(Language::Cxx)
, for compatibility with older versions of Regina. In particular, it is not equivalent to calling source()
(which defaults to the programming language currently being used). See source() for further details.
|
inline |
Returns the extended group of this link, as defined by Silver and Williams.
The extended group is defined by Daniel S. Silver and Susan G. Williams in "Crowell's derived group and twisted polynomials", J. Knot Theory Ramifications 15 (2006), no. 8, 1079-1094. It is intended for use with virtual links, where the (ordinary) link group is not a particularly strong invariant. As an invariant, the extended group is stronger, though it also yields more complex group presentations.
As with the ordinary link group, the extended group of a virtual link could change its isomorphism type depending upon whether you view the link from above or below the diagram, and so you may wish to call extendedGroups() instead, which builds both group presentations. Again, as with the ordinary link group, ExampleLink::gpv() provides an example for which these two groups are non-isomorphic.
Note that, regardless of whether your link diagram is classical or virtual, reflecting the diagram (i.e., changing the sign of every crossing but keeping the upper/lower strands the same) will never change the isomorphism type of the extended link group.
If you pass simplify as false
, this routine will keep the presentation in the form described by Silver and Williams, and will not try to simplify it further. If you pass simplify as true
(the default), this routine will attempt to simplify the group presentation before returning.
This group is not cached; instead it is reconstructed every time this function is called. This behaviour may change in future versions of Regina.
simplify | true if we should attempt to simplify the group presentation before returning. |
|
inline |
Returns the extended groups of this link and its mirror image.
The extended group is defined by Silver and Williams for use with virtual links (see extendedGroup() for details). This routine is provided because viewing a virtual link diagram from below instead of above can change the isomorphism type of the extended group, and so this routine returns both groups. Specifically:
See ExampleLink::gpv() for an example of a virtual knot for which these two extended link groups are not isomorphic.
If you pass simplify as false
, this routine will keep both presentations in the form described by Silver and Williams, and will not try to simplify them further. If you pass simplify as true
(the default), this routine will attempt to simplify both group presentations before returning.
These groups are not cached; instead they are reconstructed every time this function is called. This behaviour may change in future versions of Regina.
simplify | true if we should attempt to simplify the group presentations before returning. |
|
static |
Creates a new classical or virtual link from information about its crossings and components.
This routine is an analogue to the variant of fromData() that takes C++ initialiser lists; however, here the input data may be constructed at runtime (which makes it accessible to Python, amongst other things).
For the purposes of this routine, we number the crossings 1, 2, ..., n. The information that you must pass to this routine is the following:
for
loops (so standard C++ container classes such as std::vector<int> and std::list<int> are fine).Be aware that, once the link has been constructed, the crossings 1, ..., n will have been reindexed as 0, ..., n-1 (since every Link object numbers its crossings starting from 0).
As an example, Python users can construct the left-hand trefoil and the Hopf link as follows:
InvalidArgument | A link could not be reconstructed from the given data. |
[[...]]
with a single list [...]
; however, be aware that a single empty list [ ]
will be interpreted as an empty link (not a zero-crossing unknot).beginSigns | the beginning of the list of crossing signs. |
endSigns | a past-the-end iterator indicating the end of the list of crossing signs. |
beginComponents | the beginning of the list of containers describing each link component. |
endComponents | a past-the-end iterator indicating the end of the list of link components. |
|
static |
Creates a new classical or virtual link from hard-coded information about its crossings and components.
This routine takes a series of C++ initialiser lists (each a list of integers), which makes it useful for creating hard-coded examples directly in C++ code.
For the purposes of this routine, we number the crossings 1, 2, ..., n. The lists that you must pass to this routine are as follows:
Be aware that, once the link has been constructed, the crossings 1, ..., n will have been reindexed as 0, ..., n-1 (since every Link object numbers its crossings starting from 0).
As an example, you can construct the left-hand trefoil and the Hopf link as follows:
InvalidArgument | A link could not be reconstructed from the given data. |
crossingSigns | a list containing the signs of the crossings; each sign must be either +1 or -1. |
components | one list for each link component that describes the crossings that are visited along that component, as described in the detailed notes above. |
|
static |
Creates a new classical knot from either alphabetical or numerical Dowker-Thistlethwaite notation, presented as a string.
Dowker-Thistlethwaite notation essentially describes the 4-valent graph of a knot but not its particular embedding in the plane. As a result, there can be topological ambiguities when a classical knot is reconstructed from Dowker-Thistlethwaite notation; these are described in the warnings below. Dowker-Thistlethwaite notation cannot be used with virtual (not classical) knots at all.
Dowker-Thistlethwaite notation comes in two forms: numerical and alphabetical. For an n-crossing knot, the numerical form is a sequence of n even signed integers, and the alphabetical form is a sequence of n case-sensitive letters. As an example, you can construct the trefoil using either of the following strings:
4 6 2 bca
See dt(bool) for a full description of Dowker-Thistlethwaite notation as it is used in Regina, as well as its limitations.
There are two variants of this routine. This variant takes a single string, which is either (i) the alphabetical notation, in which any whitespace within the string will be ignored; or (ii) the numerical notation, in which the integers are combined together and separated by whitespace. The other variant of this routine is only for numerical Dowker-Thistlethwaite notation, and it takes a sequence of integers defined by a pair of iterators.
In this variant (the string variant), the string may contain additional leading or trailing whitespace; moreover, for numerical Dowker-Thistlethwaite notation, the exact form of the whitespace that separates the integers does not matter.
InvalidArgument | The given string was not a valid Dowker-Thistlethwaite code for a classical knot. |
str | either the alphabetical or numerical Dowker-Thistlethwaite notation for a classical knot, as described above. |
|
static |
Creates a new classical knot from numerical Dowker-Thistlethwaite notation, presented as an integer sequence.
See dt(bool) for a full description of Dowker-Thistlethwaite notation as it is used in Regina, and see fromDT(const std::string&) for a detailed discussion of how Regina reconstructs classical knots from such notation.
This routine is a variant of fromDT(const std::string&) which, instead of taking a human-readable string, takes a machine-readable sequence of integers. This sequence is given by passing a pair of begin/end iterators.
This variant of fromDT() can only work with numerical Dowker-Thistlethwaite notation. Regina does understand alphabetic Dowker-Thistlethwaite notation, but for this you will need to use the string-based variant of fromDT().
InvalidArgument | The given sequence was not a valid Dowker-Thistlethwaite code for a classical knot. |
begin | an iterator that points to the beginning of the sequence of integers for the Dowker-Thistlethwaite notation for a classical knot. |
end | an iterator that points past the end of the sequence of integers for the Dowker-Thistlethwaite notation for a classical knot. |
|
static |
Creates a new classical knot from a classical Gauss code, presented as a string.
Classical Gauss codes essentially describe the 4-valent graph of a knot but not the particular embedding in the plane. As a result, there can be topological ambiguities when a classical knot is reconstructed from a Gauss code; these are described in the warnings below. For virtual (not classical) knots, the ambiguities inherent in classical Gauss codes are even more severe, and so Regina will not attempt to reconstruct a virtual knot from its classical Gauss code at all.
The Gauss code for an n-crossing knot is described by a sequence of 2n positive and negative integers. As an example, you can construct the trefoil using the code:
1 -2 3 -1 2 -3
See gauss() for a full description of classical Gauss codes as they are used in Regina, as well as their limitations.
Regina imposes the following restrictions when reconstructing a knot from a classical Gauss code:
Be aware that, once the knot has been constructed, the crossings 1, ..., n will have been reindexed as 0, ..., n-1 (since every Link object numbers its crossings starting from 0).
There are two variants of this routine. This variant takes a single string, where the integers have been combined together and separated by whitespace. The other variant takes a sequence of integers, defined by a pair of iterators.
In this variant (the string variant), the exact form of the whitespace does not matter, and additional whitespace at the beginning or end of the string is allowed.
InvalidArgument | The given string was not a valid classical Gauss code for a classical knot. |
str | a classical Gauss code for a classical knot, as described above. |
|
static |
Creates a new classical knot from a classical Gauss code, presented as an integer sequence.
See gauss() for a full description of classical Gauss codes as they are used in Regina, and see fromGauss(const std::string&) for a detailed discussion of how Regina reconstructs classical knots from such codes.
This routine is a variant of fromGauss(const std::string&) which, instead of taking a human-readable string, takes a machine-readable sequence of integers. This sequence is given by passing a pair of begin/end iterators.
InvalidArgument | The given sequence was not a valid classical Gauss code for a classical knot. |
begin | an iterator that points to the beginning of the sequence of integers for a classical Gauss code. |
end | an iterator that points past the end of the sequence of integers for a classical Gauss code. |
|
static |
Creates a new classical or virtual link from Bob Jenkins' format, presented as a string.
Jenkins' format overcomes the limitations of classical Gauss codes by encoding all of the data needed to quickly and correctly reconstruct a link diagram. It can work with links as well as knots.
In Jenkins' format, a link is described by a sequence of integers. As an example, you could construct the Hopf link using the sequence:
2 2 0 1 1 -1 2 0 -1 1 1 0 1 1 1
See jenkins() for a full description of Jenkins' format (and in particular, what these integers represent).
There are three variants of this routine. This variant takes a single string, where the integers have been combined together and separated by whitespace. The other variants take (i) a sequence of integers defined by a pair of iterators, or (ii) an input stream from which the integers will be read.
In this variant (the string variant), the exact form of the whitespace does not matter, and additional whitespace at the beginning or end of the string is allowed.
InvalidArgument | The given string was not a valid encoding of a classical or virtual link in Jenkins' format. |
str | a string describing a link in Jenkins' format, as described above. |
|
static |
Creates a new classical or virtual link from Bob Jenkins' format, presented as an integer sequence.
See jenkins() for a full description of Bob Jenkins' format as it is used in Regina, and see fromJenkins(const std::string&) for a detailed discussion of how Regina reconstructs links from this format.
This routine is a variant of fromJenkins(const std::string&) which, instead of taking a human-readable string, takes a machine-readable sequence of integers. This sequence is given by passing a pair of begin/end iterators.
InvalidArgument | The given sequence was not a valid encoding of a classical or virtual link in Jenkins' format. |
begin | an iterator that points to the beginning of the sequence of integers that describes a link. |
end | an iterator that points past the end of the sequence of integers that describes a link. |
|
static |
Creates a new classical or virtual link from Bob Jenkins' format, read directly from an input stream.
See jenkins() for a full description of Bob Jenkins' format as it is used in Regina, and see fromJenkins(const std::string&) for a detailed discussion of how Regina reconstructs links from this format.
This routine is a variant of fromJenkins(const std::string&) which, instead of taking a string as input, takes an input stream from which the sequence of integers describing the link will be read.
Once this routine reads the integers that describe the link, or as soon as it encounters an error (e.g., invalid input data), it will stop reading and leave the remainder of the input stream untouched. This means that the stream may contain additional material, which can be read by the user after this routine has finished.
InvalidArgument | The given input was not a valid encoding of a classical or virtual link in Jenkins' format. |
in | an input stream that begins with a sequence of integers separated by whitespace that describes a link. |
|
inlinestatic |
Alias for fromSig(), to recover a classical or virtual link diagram from its knot/link signature.
This alias fromKnotSig() has been kept to reflect the fact that, in older versions of Regina, these signatures were only available for single-component knots; moreover the old name "knot signatures" can still be found in the literature. While this routine is not deprecated, it is recommended to use fromSig() in new code.
See fromSig() for further details.
InvalidArgument | The given string was not a valid knot/link signature. |
sig | the signature of the link diagram to construct. Note that signatures are case-sensitive. |
|
static |
Creates a new classical or virtual knot from an "oriented" variant of the Gauss code, presented as string.
Oriented gauss codes overcome the limitations of classical Gauss codes by encoding all of the data needed to quickly and correctly reconstruct a knot diagram.
The oriented Gauss code for an n-crossing knot is described by a sequence of 2n string tokens. As an example, you can construct the left-hand trefoil using the code:
+>1 -<2 +>3 -<1 +>2 -<3
See orientedGauss() for a full description of oriented Gauss codes as they are used in Regina (and in particular, what these tokens represent). Also note that oriented Gauss codes are different from signed Gauss codes: see orientedGauss() versus signedGauss() for details.
Regina imposes the following restrictions when reconstructing a knot from an oriented Gauss code:
Be aware that, once the knot has been constructed, the crossings 1, ..., n will have been reindexed as 0, ..., n-1 (since every Link object numbers its crossings starting from 0).
There are two variants of this routine. This variant takes a single string, where the tokens have been combined together and separated by whitespace. The other variant takes a sequence of tokens, defined by a pair of iterators.
In this variant (the string variant), the exact form of the whitespace does not matter, and additional whitespace at the beginning or end of the string is allowed.
InvalidArgument | The given string was not a valid oriented Gauss code for a classical or virtual knot. |
str | an "oriented" Gauss code for a knot, as described above. |
|
inlinestatic |
Creates a new classical or virtual knot from an "oriented" variant of the Gauss code, presented as a sequence of string tokens.
See orientedGauss() for a full description of oriented Gauss codes as they are used in Regina, and see fromOrientedGauss(const std::string&) for a detailed discussion of how Regina reconstructs knots from such codes.
This routine is a variant of fromOrientedGauss(const std::string&) which, instead of taking a human-readable string, takes a machine-readable sequence of string tokens. This sequence is given by passing a pair of begin/end iterators.
The tokens in the input sequence should be the individual tokens of the form +<k
, -<k
, +>k
or ->k
that would normally be joined with whitespace to form a complete oriented Gauss code. For example, to describe the left-hand trefoil, the input sequence could be a vector containing the six tokens:
{ "+>1", "-<2", "+>3", "-<1", "+>2", "-<3" }
Each individual token should not contain any whitespace; otherwise this routine may fail to parse the token(s) and could throw an exception as a result.
const std::string&
).InvalidArgument | The given sequence was not a valid oriented Gauss code for a classical or virtual knot. |
begin | an iterator that points to the beginning of the sequence of tokens for an "oriented" Gauss code. |
end | an iterator that points past the end of the sequence of tokens for an "oriented" Gauss code. |
|
static |
Creates a new classical or virtual link from a planar diagram code, presented as a string.
Planar diagram codes overcome the limitations of classical Gauss codes by encoding the local information at each crossing, though they do introduce their own (less severe) ambiguities and computational difficulties, as described in the warnings below. They can work with links as well as knots, though they cannot encode zero-crossing unknot components. They can also (despite their name) work with virtual links as well as classical links.
A planar diagram code for an n-crossing link is formed from a sequence of n 4-tuples of integers. An example, you can construct the right-handed trefoil using the sequence:
[[1, 5, 2, 4], [3, 1, 4, 6], [5, 3, 6, 2]]
See pd() for a full description of planar diagram codes (and in particular, what these integers represent).
Regina imposes the following restrictions when reconstructing a link from a planar diagram code:
1,2,...,2n
, with each of these numbers used exactly twice.When Regina builds the resulting link, it numbers the crossings and components (but not the strands). It will do this as follows:
There are two variants of this routine. This variant takes a single string containing all 4n integers (see below for how this string may be formatted). The other variant takes a sequence of 4-tuples of integers, defined by a pair of iterators.
In this variant (the string variant), the integers may be separated by any combination of the following:
PD
, X
, Xp
, Xm
and P
, which are used by other sources (such as the Knot Atlas), but which are ignored here.Thus the following strings all describe the same sequence:
[[1, 5, 2, 4], [3, 1, 4, 6], [5, 3, 6, 2]] PD[X[1, 5, 2, 4], X[3, 1, 4, 6], X[5, 3, 6, 2]] 1 5 2 4 3 1 4 6 5 3 6 2
The string may containin separators (as defined above) at the beginning and/or the end; these will be ignored.
Note that some sources (again, such as the Knot Atlas) use the special symbols Xp
, Xm
and P
to change the meaning of the tuples. Regina does not attribute any meaning to these symbols, and will treat them as nothing more than separators.
InvalidArgument | The given string was not a valid planar diagram code for a classical or virtual link. |
str | a planar diagram code for a link, as described above. |
|
static |
Creates a new classical or virtual link from a planar diagram code, presented as a sequence of 4-tuples.
See pd() for a full description of planar diagram codes as they are used in Regina, and see fromPD(const std::string&) for a detailed discussion of how Regina reconstructs links from such codes.
This routine is a variant of fromPD(const std::string&) which, instead of taking a human-readable string, takes a machine-readable sequence of 4-tuples of integers. This sequence is given by passing a pair of begin/end iterators.
(*it)[0]
, (*it)[1]
, (*it)[2]
and (*it)[3]
will give the elements of the corresponding 4-tuple, which can then be treated as native C++ integers. (The specific native C++ integer type being used will be deduced from the type Iterator.)InvalidArgument | The given sequence was not a valid planar diagram code for a classical or virtual link. |
begin | an iterator that points to the beginning of the sequence of 4-tuples for a planar diagram code. |
end | an iterator that points past the end of the sequence of 4-tuples for a planar diagram code. |
|
static |
Recovers a classical or virtual link diagram from its knot/link signature.
See sig() for more information on these signatures.
Calling sig() followed by fromSig() is not guaranteed to produce an identical link diagram to the original, but it is guaranteed to produce one that is related by zero or more applications of relabelling, and (according to the arguments that were passed to sig()) reflection of the diagram, rotation of the diagram, and/or reversal of individual link components.
InvalidArgument | The given string was not a valid knot/link signature. |
sig | the signature of the link diagram to construct. Note that signatures are case-sensitive. |
|
static |
Creates a new classical or virtual knot from a "signed" variant of the Gauss code, presented as string.
Signed gauss codes overcome the limitations of classical Gauss codes by encoding all of the data needed to quickly and correctly reconstruct a knot diagram.
The signed Gauss code for an n-crossing knot is described by a sequence of 2n string tokens, all concatenated together with no internal whitespace. As an example, you can construct the figure eight knot using the code:
U1+O2+U3-O4-U2+O1+U4-O3-
See signedGauss() for a full description of signed Gauss codes as they are used in Regina (and in particular, what these tokens represent). Also note that signed Gauss codes are different from oriented Gauss codes: see signedGauss() versus orientedGauss() for details.
Regina imposes the following restrictions when reconstructing a knot from a signed Gauss code:
Be aware that, once the knot has been constructed, the crossings 1, ..., n will have been reindexed as 0, ..., n-1 (since every Link object numbers its crossings starting from 0).
There are two variants of this routine. This variant takes a single string, where the tokens have been concatenated together with no internal whitespace. The other variant takes a sequence of 2n individual tokens, defined by a pair of iterators.
In this variant (the string variant), the code should not contain any internal whitespace; however, whitespace at the beginning or end of the string is allowed. The symbols U
and O
may be either upper-case or lower-case (or you may use some mix of both).
InvalidArgument | The given string was not a valid signed Gauss code for a classical or virtual knot. |
str | a "signed" Gauss code for a knot, as described above. |
|
inlinestatic |
Creates a new classical or virtual knot from a "signed" variant of the Gauss code, presented as a sequence of string tokens.
See signedGauss() for a full description of signed Gauss codes as they are used in Regina, and see fromSignedGauss(const std::string&) for a detailed discussion of how Regina reconstructs knots from such codes.
This routine is a variant of fromSignedGauss(const std::string&) which, instead of taking a human-readable string, takes a machine-readable sequence of smaller string tokens (one for each crossing that you pass through when traversing the knot). This sequence is given by passing a pair of begin/end iterators.
The tokens in the input sequence should be the individual tokens of the form Ok+
, Ok-
, Uk+
or Uk-
that would normally be concatenated together to form a complete signed Gauss code. For example, to describe the figure eight knot, the input sequence could be a vector containing the eight tokens:
{ "U1+", "O2+", "U3-", "O4-", "U2+", "O1+", "U4-", "O3-" }
None of the tokens should contain any whitespace; otherwise this routine may fail to parse the token(s) and could throw an exception as a result. The symbols U
and O
that begin each token may be either upper-case or lower-case (or you may use some mix of both).
const std::string&
).InvalidArgument | The given sequence was not a valid signed Gauss code for a classical or virtual knot. |
begin | an iterator that points to the beginning of the sequence of tokens for a "signed" Gauss code. |
end | an iterator that points past the end of the sequence of tokens for a "signed" Gauss code. |
std::string regina::Link::gauss | ( | ) | const |
Returns a classical Gauss code for this knot, presented as a string.
Classical Gauss codes essentially describe the 4-valent graph of a knot but not the particular embedding in the plane. These codes come with major restrictions:
If you need a code that specifies the knot uniquely, and/or is fast to parse, and/or can work with both classical and virtual knots, you should use the oriented Gauss code instead, which resolves all of these issues.
The contents of a classical Gauss code are as follows. A Gauss code for an n-crossing knot is described by a sequence of 2n positive and negative integers, representing strands that pass over and under crossings respectively. The code is constructed as follows:
k
if you pass over the crossing, or -k
if you pass under the crossing.As an example, you can represent the trefoil using the code:
1 -2 3 -1 2 -3
Currently Regina only supports Gauss codes for knots, not empty or multiple component links. If this link does not have precisely one component, then this routine will throw an exception. It is possible that in future versions of Regina, Gauss codes will be expanded to cover all possible link diagrams (hence the choice of NotImplemented as the exception type).
This routine formats the list of integers as a string. The integers will be separated by single spaces, and there will be no newlines.
The routine gaussData() returns this same data in machine-readable format (as a C++ vector), instead of the human-readable format used here (a string). There is also another variant of gauss() that writes directly to an output stream.
Although classical Gauss codes do not support virtual knots, if this is a virtual link diagram then gauss() will still produce correct output; the problem is simply that too much information is lost, and you cannot reconstruct your virtual link from this output.
NotImplemented | This link is empty or has multiple components. |
void regina::Link::gauss | ( | std::ostream & | out | ) | const |
Writes a classical Gauss code for this knot to the given output stream.
See gauss() for a full description of classical Gauss codes as they are used in Regina, as well as their limitations.
The output from this routine is precisely the string that would be returned by gauss(). In particular, the output does not contain any newlines.
For a function that returns the Gauss code (as opposed to writing it to an output stream), you could use gauss() (which returns the Gauss code as a human-readable string), or gaussData() (which returns it as a machine-readable sequence of integers).
NotImplemented | This link is empty or has multiple components. |
out | the output stream to which to write. |
std::vector< int > regina::Link::gaussData | ( | ) | const |
Returns a classical Gauss code for this knot, presented as a vector of integers.
See gauss() for a full description of classical Gauss codes as they are used in Regina, as well as their limitations.
This routine returns machine-readable data (as a C++ vector); in contrast, gauss() returns the same data in human-readable format (as a string).
NotImplemented | This link is empty, or has multiple components, or has so many crossings that the Gauss code cannot be expressed using native C++ integers. |
Grafts the two given arcs of this link together, possibly making this a virtual link in the process.
This routine is intended for use with virtual links and, unlike composeWith(), it offers a way to build a composite knot with full control over exactly which arcs are grafted together.
This operation is simple: it reroutes the part of the link that enters along the first arc to exit along the second, and it reroutes the part of the link that enters along the second arc to exit along the first. As a result:
The operation will never add or remove any crossings. Therefore, if the two given arcs belong to the same connected component of the diagram but do not bound the same dual 2-cell with the same orientation, this operation may increase the virtual genus.
Regarding the two arguments:
See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects.
InvalidArgument | Either one of first or second is a null reference but this link does not contain any zero-crossing components, or both first and second are null references but this link does not contain at least two zero-crossing components. |
first | the first of the two arcs to graft together. |
second | the second of the two arcs to graft together. |
|
inline |
Returns the 4-valent graph that models this link diagram, along with the local embedding of the graph into the surface that contains the diagram.
Any zero-component unknot components of this link will be ignored.
For classical links, the result will be a planar graph with a specific planar embedding. For virtual links, this may be an embedding of the graph into some higher genus closed orientable surface, depending on the virtual genus of the link. See ModelLinkGraph for further discussion on local embeddings.
The nodes of the resulting graph will be numbered in the same way as the crossings of this link. For each node, arc 0 will represent the outgoing lower strand of the corresponding crossing.
Calling link.graph()
is identical to creating a graph via ModelLinkGraph(link)
.
|
inline |
Returns the link group, as constructed from the Wirtinger presentation.
In the Wirtinger presentation, each relation is some variant of the form xy=yz
, where y corresponds to the upper strand at some crossing, and x and z correspond to the two sides of the lower strand at that same crossing.
If you are working with virtual links, there are some points to note:
For classical links, the link group will always be isomorphic to the fundamental group of the link exterior (and in particular, the isomorphism type will not depend upon whether you view the diagram from above or below).
Note that, regardless of whether your link diagram is classical or virtual, reflecting the diagram (i.e., changing the sign of every crossing but keeping the upper/lower strands the same) will never change the isomorphism type of the link group.
If you pass simplify as false
, this routine will keep the Wirtinger presentation and not try to simplify it further. If you pass simplify as true
(the default), this routine will attempt to simplify the group presentation before returning.
This group is not cached; instead it is reconstructed every time this function is called. This behaviour may change in future versions of Regina.
simplify | true if we should attempt to simplify the group presentation before returning. |
|
inline |
Returns the two groups constructed from the Wirtinger presentation for this link and its mirror image.
This function is intended for use with virtual links, where these two groups might not be isomorphic.
As with group(), each Wirtinger presentation builds a group using relations of the form xy=yz
:
For classical links, both groups will always be isomorphic, and so there is little value in calling this function; you should just use group() instead.
For virtual links, these groups might not be isomorphic, and so this pair gives more information than you would obtain by just calling group(). See ExampleLink::gpv() for an example of a virtual knot whose "native" Wirtinger presentation (the first group) gives the trefoil group, but whose "reflected" Wirtinger presentation (the second group) gives the unknot group.
A further note, however: if you are working with virtual links then the link group is not a particularly strong invariant. You might wish to consider using the extended link group instead; see extendedGroup() and extendedGroups() for further details.
If you pass simplify as false
, this routine will keep both Wirtinger presentations and not try to simplify them further. If you pass simplify as true
(the default), this routine will attempt to simplify both group presentations before returning.
These groups are not cached; instead they are reconstructed every time this function is called. This behaviour may change in future versions of Regina.
simplify | true if we should attempt to simplify the group presentations before returning. |
|
inlineinherited |
Hashes this object to a non-negative integer, allowing it to be used for keys in hash tables.
This hash function makes use of Regina's tight encodings. In particular, any two objects with the same tight encoding will have equal hashes. This implementation (and therefore the specific hash value for each object) is subject to change in future versions of Regina.
|
inline |
Determines whether it is possible to perform a type I Reidemeister move at the given location to remove a crossing.
For more detail on type I moves and when they can be performed, see r1(Crossing*).
crossing | identifies the candidate crossing to be removed. See r1(Crossing*) for details on exactly how this will be interpreted. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a type I Reidemeister move at the given location to add a new crossing.
For more detail on type I moves and when they can be performed, see r1(StrandRef, int, int).
arc | identifies the arc of the link in which the new candidate twist will be introduced. See r1(StrandRef, int, int) for details on exactly how this will be interpreted. |
side | 0 if the candidate twist should be introduced on the left of the arc (when walking along the arc in the forward direction), or 1 if the candidate twist should be introduced on the right of the arc. |
sign | the sign of the new crossing that would be introduced as part of the candidate twist; this must be +1 or -1. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a type II Reidemeister move at the given location to remove two crossings.
For more detail on type II moves and when they can be performed, see r2(Crossing*).
crossing | identifies the crossing at the beginning of the "upper" arc that features in this candidate move. See r2(Crossing*) for details on exactly how this will be interpreted. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a type II Reidemeister move at the given location to remove two crossings.
For more detail on type II moves and when they can be performed, see r2(StrandRef).
arc | identifies one of the arcs of the bigon about which the candidate move will be performed. See r2(StrandRef) for details on exactly how this will be interpreted. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a classical type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another.
For more detail on classical type II moves and when they can be performed, see r2(StrandRef, int, StrandRef, int). Note that a classical type II move on a classical link diagram will always result in a classical link diagram.
If you are working with virtual links, you may wish to use hasR2Virtual() instead, which (unlike this routine) allow moves that could change the surface in which the link diagram is embedded, and in particular which could convert a classical link diagram into a virtual diagram with positive virtual genus.
upperArc | identifies which arc of the link would be passed over another in this candidate move. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
upperSide | 0 if the new overlap would take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap would take place on the right of upperArc. |
lowerArc | identifies which arc of the link would be passed beneath another in this candidate move. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
lowerSide | 0 if the new overlap would take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap would take place on the right of lowerArc. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a virtual type II Reidemeister move at the given location to add two new crossings by pushing the same strand over itself from opposite sides.
For more detail on these kinds of virtual type II moves and when they can be performed, see r2Virtual(StrandRef, int, int). Note that a virtual type II move could potentially change the virtual genus of the link diagram; in particular, it could convert a classical link diagram into a virtual diagram with positive virtual genus.
arc | identifies which arc of the link would be passed over itself in this candidate move. See r2(StrandRef, int, int) for details on exactly how this will be interpreted. |
firstSide | 0 if the first portion of the arc would push out to the left of the arc (when walking along the arc in the forward direction), or 1 if the first portion would push out to the right of the arc. |
firstStrand | 0 if the first portion of the arc would be pushed under the second, or 1 if the first portion would be pushed over the second. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a virtual type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another.
For more detail on these kinds of virtual type II moves and when they can be performed, see r2Virtual(StrandRef, int, StrandRef, int). Note that a virtual type II move could potentially change the virtual genus of the link diagram; in particular, it could convert a classical link diagram into a virtual diagram with positive virtual genus.
The check for virtual type II moves is extremely fast (as opposed to classical type II moves, where the check takes linear time).
upperArc | identifies which arc of the link would be passed over another in this candidate move. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
upperSide | 0 if the new overlap would take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap would take place on the right of upperArc. |
lowerArc | identifies which arc of the link would be passed beneath another in this candidate move. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
lowerSide | 0 if the new overlap would take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap would take place on the right of lowerArc. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a type III Reidemeister move at the given location.
For more detail on type III moves and when they can be performed, see r3(Crossing*, int).
crossing | identifies the crossing at the beginning of the "uppermost" arc that features in this candidate move. See r3(Crossing*, int) for details on exactly how this will be interpreted. |
side | 0 if the third crossing of the triangle is located to the left of the uppermost arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the uppermost arc. |
true
if and only if the requested move can be performed.
|
inline |
Determines whether it is possible to perform a type III Reidemeister move at the given location.
For more detail on type III moves and when they can be performed, see r3(StrandRef, int).
arc | identifies one of the arcs of the triangle about which the candidate move would be performed. See r3(StrandRef, int) for details on exactly how this will be interpreted. |
side | 0 if the third crossing of the triangle is located to the left of the arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the arc. |
true
if and only if the requested move can be performed. bool regina::Link::hasReducingPass | ( | ) | const |
Tests whether this classical link has a pass move that will reduce the number of crossings.
A pass move involves taking a section of some link component that involves only over-crossings (or only under-crossings), and then lifting that section above (or beneath respectively) the plane of the diagram and placing it back again in a different location. In particular, this routine searches for a different location that will involve fewer crossings than the original location.
In Regina, pass moves can only be used with classical links, not the more general setting of virtual link diagrams.
This routine does not actually perform the pass move; it simply determines whether one exists.
The running time is cubic in the number of crossings.
FailedPrecondition | This is a virtual (not classical) link diagram. |
true
if and only if there is a pass move that reduces the number of crossings.
|
inline |
Returns the HOMFLY-PT polynomial of this classical link, as a polynomial in alpha and z.
This routine is simply an alias for homflyAZ(). See the documentation for homflyAZ() for further details.
At present, Regina only computes HOMFLY-PT polynomials for classical links. If this is a virtual link diagram, then this routine will throw an exception.
To pretty-print this polynomial for human consumption, you can call Laurent2::str(Link::homflyVarX, Link::homflyVarY)
.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, homfly() should be called again; this will be instantaneous if the HOMFLY-PT polynomial has already been calculated.
FailedPrecondition | This is a virtual (not classical) link diagram. |
NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . (On a typical machine where int is 32-bit, this would require over a billion crossings). Note that, if you have such a link, then this function (which is exponential time) would be intractably slow anyway. |
alg | the algorithm with which to compute the polynomial. If you are not sure, the default (Algorithm::Default) is a safe choice. If you wish to specify a particular algorithm, there are currently two choices: Algorithm::Backtrack will use Kauffman's skein-template algorithm, and Algorithm::Treewidth will use a fixed-parameter tractable treewidth-based algorithm. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
const Laurent2< Integer > & regina::Link::homflyAZ | ( | Algorithm | alg = Algorithm::Default, |
ProgressTracker * | tracker = nullptr ) const |
Returns the HOMFLY-PT polynomial of this classical link, as a polynomial in alpha and z.
At present, Regina only computes HOMFLY-PT polynomials for classical links. If this is a virtual link diagram, then this routine will throw an exception.
This variant of the HOMFLY-PT polynomial is described (amongst other places) in G. Gouesbet et al., "Computer evaluation of Homfly polynomials by using Gauss codes, with a skein-template algorithm", Applied Mathematics and Computation 105 (1999), 271-289.
The (alpha, z) and (l, m) variants of the HOMFLY-PT polynomial are related by a simple transformation: alpha = l i and z = -m i, where i represents (as usual) a square root of -1.
This routine returns a Laurent polynomial in the two variables alpha and z (which are represented by x and y respectively in the class Laurent2).
If this is the empty link, then this routine will return the zero polynomial.
To pretty-print this polynomial for human consumption, you can call Laurent2::str(Link::homflyAZVarX, Link::homflyAZVarY)
.
The default implementation uses Kauffman's skein-template algorithm; see L. H. Kauffman, "State models for link polynomials", L'enseignement mathematique 36 (1990), 1-37, or for a more recent summary see G. Gouesbet et al., "Computer evaluation of Homfly polynomials by using Gauss codes, with a skein-template algorithm", Applied Mathematics and Computation 105 (1999), 271-289.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, homflyAZ() should be called again; this will be instantaneous if the HOMFLY-PT polynomial has already been calculated.
If the HOMFLY-PT polynomial has already been computed (either in terms of alpha and z or in terms of l and m), then the result will be cached and so this routine will be very fast (since it just returns the previously computed result). Otherwise the computation could be quite slow, particularly for larger numbers of crossings.
Since Regina 7.0, this routine will not return until the polynomial computation is complete, regardless of whether a progress tracker was passed. If you need the old behaviour (where passing a progress tracker caused the computation to start in the background), simply call this routine in a new detached thread.
FailedPrecondition | This is a virtual (not classical) link diagram. |
NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . (On a typical machine where int is 32-bit, this would require over a billion crossings). Note that, if you have such a link, then this function (which is exponential time) would be intractably slow anyway. |
alg | the algorithm with which to compute the polynomial. If you are not sure, the default (Algorithm::Default) is a safe choice. If you wish to specify a particular algorithm, there are currently two choices: Algorithm::Backtrack will use Kauffman's skein-template algorithm, and Algorithm::Treewidth will use a fixed-parameter tractable treewidth-based algorithm. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
Converts between the (alpha, z) and (l, m) representations of the HOMFLY-PT polynomial.
The (alpha, z) and (l, m) variants are related by a simple transformation: alpha = l i and z = -m i, where i represents (as usual) a square root of -1.
See homflyAZ() and homflyLM() for further details.
homflyAZ | the HOMFLY-PT polynomial of a link as a polynomial in alpha and z, where (alpha, z) are represented by (x, y) in the class Laurent2<Integer>. |
const Laurent2< Integer > & regina::Link::homflyLM | ( | Algorithm | alg = Algorithm::Default, |
ProgressTracker * | tracker = nullptr ) const |
Returns the HOMFLY-PT polynomial of this classical link, as a polynomial in l and m.
At present, Regina only computes HOMFLY-PT polynomials for classical links. If this is a virtual link diagram, then this routine will throw an exception.
This variant of the HOMFLY-PT polynomial is described (amongst other places) in C. C. Adams, "The knot book", W. H. Freeman & Co., 1994.
The (alpha, z) and (l, m) variants of the HOMFLY-PT polynomial are related by a simple transformation: alpha = l i and z = -m i, where i represents (as usual) a square root of -1.
This routine returns a Laurent polynomial in the two variables l and m (which are represented by x and y respectively in the class Laurent2).
If this is the empty link, then this routine will return the zero polynomial.
To pretty-print this polynomial for human consumption, you can call Laurent2::str(Link::homflyLMVarX, Link::homflyLMVarY)
.
The default implementation uses Kauffman's skein-template algorithm; see L. H. Kauffman, "State models for link polynomials", L'enseignement mathematique 36 (1990), 1-37, or for a more recent summary see G. Gouesbet et al., "Computer evaluation of Homfly polynomials by using Gauss codes, with a skein-template algorithm", Applied Mathematics and Computation 105 (1999), 271-289.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, homflyLM() should be called again; this will be instantaneous if the HOMFLY-PT polynomial has already been calculated.
If the HOMFLY-PT polynomial has already been computed (either in terms of alpha and z or in terms of l and m), then the result will be cached and so this routine will be very fast (since it just returns the previously computed result). Otherwise the computation could be quite slow, particularly for larger numbers of crossings.
Since Regina 7.0, this routine will not return until the polynomial computation is complete, regardless of whether a progress tracker was passed. If you need the old behaviour (where passing a progress tracker caused the computation to start in the background), simply call this routine in a new detached thread.
FailedPrecondition | This is a virtual (not classical) link diagram. |
NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . (On a typical machine where int is 32-bit, this would require over a billion crossings). Note that, if you have such a link, then this function (which is exponential time) would be intractably slow anyway. |
alg | the algorithm with which to compute the polynomial. If you are not sure, the default (Algorithm::Default) is a safe choice. If you wish to specify a particular algorithm, there are currently two choices: Algorithm::Backtrack will use Kauffman's skein-template algorithm, and Algorithm::Treewidth will use a fixed-parameter tractable treewidth-based algorithm. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
bool regina::Link::improveTreewidth | ( | ssize_t | maxAttempts = 1000, |
int | height = 1, | ||
int | threads = 1, | ||
ProgressTrackerOpen * | tracker = nullptr ) |
Attempts to rewrite this link diagram to become one with a smaller width tree decomposition.
Regina does not compute treewidth precisely (and indeed, this is an NP-hard problem); instead what it tries to minimise is the width of the greedy tree decomposition produced by TreeDecomposition(link)
.
Much like simplifyExhaustive(), this routine searches for a better diagram by performing an exhaustive search through all link diagrams that can be reached from this via Reidemeister moves, within certain user-supplied limits as described below. (If this link diagram is disconnected, then there is an exception: this routine will never use a type II move to merge distinct diagram components together, which would never help with improving treewidth). It does this in a way that will never reflect, rotate or reverse the link diagram. Both classical and virtual link diagrams are supported.
This routine can be very slow and very memory-intensive: the number of link diagrams it visits may be exponential in the number of crossings, and it records every diagram that it visits (so as to avoid revisiting the same diagram again). You can limit the cost of this search in two ways:
If this routine finds a diagram with a smaller-width greedy tree decomposition, then:
If this routine cannot produce a smaller-width tree decomposition within the bounds given via maxAttempts and/or height, then it will leave this link diagram unchanged.
If this is a classical link diagram then only classical Reidemeister moves will be used, as implemented by r1(), r2() and r3(); in particular, this routine will never consider link diagrams with positive virtual genus. If this is a virtual link diagram, then both classical and virtual Reidemeister moves will be used, including r1(), r2(), r3(), and r2Virtual(); this means that the exploration through the Reidemeister graph might pass through diagrams with smaller and/or greater virtual genus than the original.
To assist with performance, this routine can run in parallel (multithreaded) mode; simply pass the number of parallel threads in the argument threads. Even in multithreaded mode, this routine will not return until processing has finished (i.e., either a better link diagram was found or the search was exhausted), and any change to this link diagram will happen in the calling thread.
FailedPrecondition | This link has 64 or more link components. If a progress tracker was passed, it will be marked as finished before the exception is thrown. |
maxAttempts | the maximum number of distinct link diagrams to examine before we give up and return false , or a negative number if this should not be bounded. |
height | the maximum number of additional crossings to allow, or a negative number if this should not be bounded. |
threads | the number of threads to use. If this is 1 or smaller then the routine will run single-threaded. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
true
if and only if this diagram was successfully changed to give a smaller-width greedy tree decomposition. void regina::Link::insertLink | ( | const Link & | source | ) |
Inserts a copy of the given link into this link.
The crossings and components of source will be copied into this link, and placed after any pre-existing crossings and components. Specifically, if the original number of crossings in this link was N, then crossing number i of source will be copied to a new crosssing N+i
of this link; likewise for components.
This routine behaves correctly when source is this link.
source | the link whose copy will be inserted. |
void regina::Link::insertLink | ( | Link && | source | ) |
Moves the contents of the given link into this link.
The crossings and components of source will be moved directly into this link, and placed after any pre-existing crossings and components. Specifically, if the original number of crossings in this link was N, then crossing number i of source will become crosssing N+i
of this link; likewise for components.
As is normal for an rvalue reference, after calling this function source will be unusable. Any strand references or crossing pointers that referred to either this link or source will remain valid (and will all now refer to this link), though if they originally referred to source then they will now return different crossing indices and strand IDs.
Calling link.insertLink(source)
(where source is an rvalue reference) is similar to calling source.moveContentsTo(link)
, but it is a little faster since it does not need to leave source in a usable state.
Regarding packet change events: this function does not fire a change event on source, since it assumes that source is about to be destroyed (which will fire a destruction event instead).
source.moveContentsTo(this)
.source | the link whose contents should be moved. |
void regina::Link::insertTorusLink | ( | int | p, |
int | q, | ||
bool | positive = true ) |
Inserts a new (p, q) torus link into this link.
The parameters p and q must be non-negative, but they do not need to be coprime.
All of the crossings in the new torus link component(s) will be positive if the argument positive is true
, or negative otherwise.
The new crossings and components will be inserted at the end of the respective lists in this link.
If your aim is to create a new torus link (as opposed to inserting one into an existing link), it is simpler to just call ExampleLink::torus().
p | the first parameter of the new torus link; this must be non-negative. |
q | the second parameter of the new torus link; this must also be non-negative. |
positive | true if the crossings in the new torus link should be positive, or false if they should be negative. |
|
inline |
Deprecated alias for simplify(), which attempts to simplify this link diagram as intelligently as possible using fast and greedy heuristics.
true
if and only if the link diagram was successfully simplified. bool regina::Link::isAlternating | ( | ) | const |
Returns whether this link diagram is alternating.
Note that this routine cannot tell whether the link is alternating (i.e., whether there exists an alternating diagram). Instead, it simply returns whether this specific diagram is alternating or not.
The empty diagram and any zero-crossing unknot components will be considered alternating.
true
if this is an alternating diagram, or false
if this is a non-alternating diagram.
|
inline |
Determines whether this link diagram is classical (that is, planar).
A link diagram that is not classical cannot be drawn in the plane without the addition of virtual crossings.
Some notes:
This routine runs in time linear in the size of the link diagram. However, the virtual genus is cached, and so subsequent calls to isClassical() or virtualGenus() will be instantaneous.
true
if and only if this link diagram is classical. (i.e., planar). bool regina::Link::isConnected | ( | ) | const |
Determines whether this link diagram is connected, if we treat each crossing as a 4-way intersection.
This tests whether it is possible to travel from any part of the link to any other part of the link by:
In particular, the link diagram may be connected even if the link has multiple components.
Connectivity is a property of the diagram, not an invariant of the link itself, since the locations of the crossings matter. In particular:
This is almost, but not quite, equivalent to testing whether the underlying 4-valent graph of the link diagram is connected. Specifically, where link.isConnected()
and link.graph().isConnected()
differ is in cases where the link has zero-crossing components (i.e., unknotted circles disjoint from the rest of the diagram). Zero-crossing components are considered here in Link.isConnected()
but not in ModelLinkGraph.isConnected()
, since such components cannot be represented by a 4-valent graph (and so the ModelLinkGraph class ignores them completely).
For the purposes of this routine, an empty link is considered to be connected.
Note: for knots and empty links, this routine is constant time. For multiple-component links, it is linear in the link size.
See also countDiagramComponents() which returns an integer count instead of a boolean, and diagramComponents() which extracts the diagra components as individual Link objects.
true
if and only if this link diagram is connected.
|
inline |
Determines whether this link is empty.
An empty link is one with no components at all.
true
if and only if this link is empty. std::string regina::Link::jenkins | ( | ) | const |
Exports this link using Bob Jenkins' text format, returning a single string.
Jenkins' format is lengthy. However, in contrast to classical Gauss codes or Dowker-Thistlethwaite notation, there are no topological ambiguities in the format, and reconstructing a link from Jenkins' format is simple. Moreover, the format is suitable for links with any number of components, and can be used with both virtual and classical links.
Jenkins' format is described in his HOMFLY-PT polynomial software, which is available online from http://burtleburtle.net/bob/knot/homfly.html. The format consists of a sequence of integers separated by whitespace, constructed as follows:
As an example, you could describe the left-hand trefoil using the following sequence:
1 6 0 1 1 -1 2 1 0 -1 1 1 2 -1 0 -1 1 -1 2 -1
Another example is the Hopf link, which you could describe using the following sequence:
2 2 0 1 1 -1 2 0 -1 1 1 0 1 1 1
The string that is returned will contain multiple lines, and will end in a newline. The specific choice of whitespace (i.e., the "formatting" of the sequence) may change in future versions of Regina.
The routine jenkinsData() returns this same data in machine-readable format (as a C++ vector), instead of the human-readable format used here (a string). There is also another variant of jenkins() that writes directly to an output stream.
void regina::Link::jenkins | ( | std::ostream & | out | ) | const |
Exports this link to the given output stream using Bob Jenkins' text format.
See jenkins() for a full description of Jenkins' format as it is used in Regina.
The output from this routine is precisely the string that would be returned by jenkins(). In particular, the output will typically span multiple lines, and will finish with a newline.
For a function that returns the link in Jenkins' format (as opposed to writing it to an output stream), you could use jenkins() (which returns the description as a human-readable string), or jenkinsData() (which returns it as a machine-readable sequence of integers).
out | the output stream to which to write. |
std::vector< int > regina::Link::jenkinsData | ( | ) | const |
Exports this link using Bob Jenkins' text format, returning a vector of integers.
See jenkins() for a full description of Jenkins' format as it is used in Regina.
This routine returns machine-readable data (as a C++ vector); in contrast, jenkins() returns the same data in human-readable format (as a string).
NotImplemented | This link has so many crossings and/or components that its description in Jenkins' format cannot be expressed using native C++ integers. |
|
inline |
Deprecated routine that returns the Jones polynomial of this link with all exponents doubled, using a single thread and an explicit progress tracker.
This routine is provided for backward compatibility: its only purpose is to offer a syntax that was supported in old versions of Regina but is not consistent with the new form of jones() that supports multithreading.
See jones(Algorithm, int, ProgressTracker*) for further details on what this routine does and relevant warnings that you should be aware of.
jones(alg, 1, tracker)
instead.NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . |
alg | the algorithm with which to compute the polynomial. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
const Laurent< Integer > & regina::Link::jones | ( | Algorithm | alg = Algorithm::Default, |
int | threads = 1, | ||
ProgressTracker * | tracker = nullptr ) const |
Returns the Jones polynomial of this link, but with all exponents doubled.
By "all exponents doubled", we are indicating that the Jones polynomial is in fact a Laurent polynomial in the square root of t. So, for example:
1/t + 1/t^3 - 1/t^4
, and so this routine returns the Laurent polynomial x^-2 + x^-6 - x^-8
.-1/sqrt(x) - 1/sqrt(x^5)
, and so this routine returns the Laurent polynomial -x^-1 - x^-5
.If this is the empty link, then this routine will return the zero polynomial.
Regina follows the conventions described in C. C. Adams, "The knot book", W. H. Freeman & Co., 1994. If you wish to convert to the conventions used by Khovanov as described in Dror Bar-Natan, "On Khovanov's categorifiction of the Jones polynomial", Algebraic & Geometric Topology 2 (2002), 337-370, you can simply take the polynomial returned by this routine and replace the variable x (which represents the square root of t) with the expression -q.
To pretty-print this polynomial for human consumption, you can call Laurent::str(Link::jonesVar)
.
Bear in mind that each time a link changes, all of its polynomials will be deleted. Thus the reference that is returned from this routine should not be kept for later use. Instead, jones() should be called again; this will be instantaneous if the Jones polynomial has already been calculated.
If this polynomial has already been computed, then the result will be cached and so this routine will be very fast (since it just returns the previously computed result). Otherwise the computation could be quite slow, particularly for larger numbers of crossings.
Since Regina 7.0, this routine will not return until the polynomial computation is complete, regardless of whether a progress tracker was passed. If you need the old behaviour (where passing a progress tracker caused the computation to start in the background), simply call this routine in a new detached thread.
NotImplemented | This link is so large that the total number of strands cannot fit into a signed int . (On a typical machine where int is 32-bit, this would require over a billion crossings). Note that, if you have such a link, then this function (which is exponential time) would be intractably slow anyway. |
alg | the algorithm with which to compute the polynomial. If you are not sure, the default (Algorithm::Default) is a safe choice. If you wish to specify a particular algorithm, there are currently two choices: Algorithm::Naive is a slow algorithm that computes the Kauffman bracket by resolving all crossings in all possible ways, and Algorithm::Treewidth uses a fixed-parameter tractable treewidth-based algorithm. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
threads | the number of threads to use. If this is 1 or smaller then the computation will run single-threaded. Currently only the naive algorithm supports multithreading; if you use the treewidth-based algorithm then it will run single-threaded regardless of the value of threads. |
|
inline |
Alias for sig(), which constructs the signature for this knot or link diagram.
This alias knotSig() has been kept to reflect the fact that, in older versions of Regina, these signatures were only available for single-component knots; moreover the old name "knot signatures" can still be found in the literature. While this routine is not deprecated, it is recommended to use sig() in new code.
See sig() for further details.
NotImplemented | This link diagram has 64 or more link components. |
allowReflection | true if reflecting the entire link diagram should preserve the signature, or false if the signature should distinguish between a diagram and its reflection (unless of course there is a symmetry). |
allowReversal | true if reversing some or all link components should preserve the signature, or false if the signature should distinguish between different orientations (again, unless of course there are symmetries). |
allowRotation | true if rotating the entire link diagram should preserve the signature, or false if the signature should distinguish between a diagram and its rotation (again, unless there is a symmetry). |
|
inline |
Is the Alexander polynomial of this knot already known? See alexander() for further details.
If this property is already known, future calls to alexander() will be very fast (simply returning the precalculated value).
At present, Regina only computes Alexander polynomials for classical knots. If this link is empty, has multiple components, or uses a virtual diagram, then this routine is still safe to call, and will simply return false
.
true
if and only if this property is already known.
|
inline |
|
inline |
|
inline |
Is the HOMFLY-PT polynomial of this link already known? See homflyAZ() and homflyLM() for further details.
If this property is already known, future calls to homfly(), homflyAZ() and homflyLM() will all be very fast (simply returning the precalculated values).
At present, Regina only computes HOMFLY-PT polynomials for classical links. If this is a virtual (not classical) link diagram, then this routine is still safe to call, and will simply return false
.
true
if and only if this property is already known.
|
inline |
|
inline |
Returns the linking number of this link, or throws an exception if it is not an integer.
The linking number is an invariant of the link, computed as half the sum of the signs of all crossings that involve different link components.
For classical links, the linking number is always an integer, and so linking() will always return successfully.
For virtual links, the linking number might have a half-integer part; if this happens then linking() will throw an exception. If you are working with virtual links then you should use linking2() instead, which does not halve the sum of signs, and which therefore always returns successfully with an integer result.
The algorithm to compute linking number is linear time.
NotImplemented | This is a virtual link whose linking number is not an integer. |
long regina::Link::linking2 | ( | ) | const |
Returns twice the linking number of this link, which is always an integer for both classical and virtual links.
The linking number is an invariant of a link, computed as half the sum of the signs of all crossings that involve different link components. For classical links the linking number is always an integer, whereas for virtual links it might have a half-integer part.
This routine returns twice the linking number, which is always guaranteed to be an integer. If you are working with virtual links then you should use linking2() instead of linking(), since linking() will throw an exception if its result has a fractional part.
The algorithm to compute linking number is linear time.
Triangulation< 3 > regina::Link::longComplement | ( | StrandRef | breakOpen = {}, |
bool | simplify = true ) const |
Treats this as a long knot, and returns a triangulation of the complement with mixed real/ideal boundary.
Conceptually, one can think of this routine as doing the following:
The vertex v as described above will be invalid, since its link is an annulus. Essentially, the real part of the boundary (the four boundary triangles) describes the sphere bounding the 3-ball, and the ideal part of the boundary (the link of v) describes the annulus bounding the long knot inside this ball.
If you truncate v (e.g., by calling complement.truncate(v)
or complement.truncateIdeal()
), then the result will be a valid triangulation of the knot complement with real boundary.
As with complement(), each tetrahedron will be oriented according to a right-hand rule: the thumb of the right hand points from vertices 0 to 1, and the fingers curl around to point from vertices 2 to 3. If you pass simplify as true
, then Regina will attempt to simplify the triangulation to as few tetrahedra as possible: this may relabel the tetrahedra, though their orientations will be preserved.
FailedPrecondition | This link is empty, has multiple components, and/or is virtual (as opposed to classical). |
breakOpen | indicates where to break open this knot diagram to produce a long knot. See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects. This may be a null reference (the default), in which case this routine will choose an arbitrary location to break the knot open. |
simplify | true if and only if the resulting triangulation should be simplified to use as few tetrahedra as possible. |
bool regina::Link::makeAlternating | ( | ) |
Changes a subset of crossings to convert this into an alternating link diagram.
Here, "changing" a crossing means switching its upper and lower strands (so this operation may change this into a topologically different link).
This is always possible for classical link diagrams; however, for virtual link diagrams it might or might not be possibe.
Any zero-crossing unknot components will be considered alternating; likewise, the empty link is considered alternating.
Assuming the diagram can be made alternating, for each connected piece of the link diagram (which may incorporate several link components), one must choose between two possible alternating diagrams. Regina will choose the option that preserves the sign of the lowest-index crossing in that connected piece of the diagram.
If this diagram cannot be made alternating, or if it was already alternating to begin with, then it will be left unchanged.
true
if this link diagram was successfully made alternating (or was already alternating to begin with), or false
if this is a virtual link diagram that cannot be made alternating. void regina::Link::makeVirtual | ( | Crossing * | crossing | ) |
Converts the given classical crossing into a virtual crossing.
This essentially adds a handle to the surface in which the diagram is embedded, so that the old upper and lower strands can use this handle to pass by one another without actually crossing in the link diagram.
Note that the virtual genus of this link might actually go down as a result of this operation, since the operation might generate more empty handles (which Regina implicitly removes, as explained in the class notes). A virtual link could even become classical as a result of this operation.
For the combinatorics of the link diagram, this operation simply removes the given crossing entirely (recall that Regina does not store virtual crossings explicitly). The incoming and outgoing upper strands will merge into one, and the incoming and outgoing lower strands will merge into one.
This routine is safe to call if crossing is null
(in which case this routine does nothing).
crossing | the (classical) crossing that should be made virtual. |
void regina::Link::moveContentsTo | ( | Link & | dest | ) |
Moves the contents of this link into the given destination link, leaving this link empty but otherwise usable.
The crossings and components of this link will be moved directly into dest, and placed after any pre-existing crossings and components. Specifically, if the original number of crossings in dest was N, then crossing number i of this link will become crosssing N+i
of dest; likewise for components.
This link will become empty as a result, but it will otherwise remain a valid and usable Link object. Any strand references or crossing pointers that referred to either this link or dest will remain valid (and will all now refer to dest), though if they originally referred to this link then they will now return different crossing indices and strand IDs.
Calling link.moveContentsTo(dest)
is similar to calling dest.insertLink(std::move(link))
; it is a little slower but it comes with the benefit of leaving this link in a usable state.
dest | the link into which the contents of this link should be moved. |
|
inline |
Returns a nice tree decomposition of the 4-valent multigraph formed by this link diagram.
This can (for example) be used in implementing algorithms that are fixed-parameter tractable in the treewidth of this graph.
See TreeDecomposition for further details on tree decompositions, and see TreeDecomposition::makeNice() for details on what it means to be a nice tree decomposition.
This routine is fast: it will use a greedy algorithm to find a tree decomposition with (hopefully) small width, but with no guarantees that the width of this tree decomposition is the smallest possible.
The tree decomposition will be cached, so that if this routine is called a second time (and the underlying link has not been changed) then the same tree decomposition will be returned immediately.
If you wish to supply your own tree decomposition (as opposed to relying on the greedy heuristics that Regina implements), then you can supply it by calling useTreeDecomposition().
long regina::Link::oddWrithe | ( | ) | const |
Returns the odd writhe, or self-linking number, of this knot.
The odd writhe is an invariant of virtual knots, which sums the signs of all odd crossings. A crossing c is odd if, when traversing the knot, we pass through an odd number of crossings between the over-strand and the under-strand of c.
Some authors call this invariant the self-linking number of the knot.
For a classical knot, every crossing will be even, and so the odd writhe will always be zero.
FailedPrecondition | This link is empty or has multiple components. |
Sets this to be a (deep) copy of the given link.
src | the link to copy. |
Moves the contents of the given link into this link.
This is a fast (constant time) operation.
All crossings that belong to src will be moved into this link, and so any Crossing pointers or StrandRef object will remain valid. Likewise, all cached properties will be moved into this link.
The link that is passed (src) will no longer be usable.
noexcept
, since it fires change events on this link which may in turn call arbitrary code via any registered packet listeners. It deliberately does not fire change events on src, since it assumes that src is about to be destroyed (which will fire a destruction event instead).src | the link to move. |
bool regina::Link::operator== | ( | const Link & | other | ) | const |
Determines if this link diagram is combinatorially identical to the given link diagram.
Here "identical" means that:
other | the link diagram to compare with this. |
true
if and only if the two link diagrams are combinatorially identical. std::string regina::Link::orientedGauss | ( | ) | const |
Returns an oriented Gauss code for this knot, presented as a string.
The oriented Gauss code, based on a format used by Andreeva et al., is an extension of the classical Gauss code with additional characters to describe the orientation of the other strand passing by at each crossing. This extra information removes both the topological ambiguities and the complexity in the reconstruction procedure for classical Gauss codes. It also makes the code suitable for both virtual and classical knots.
This "oriented" format is described at http://www.javaview.de/services/knots/doc/description.html#gc, and it works as follows:
+<k
, -<k
, +>k
or ->k
, where:+
indicates that you are passing over the crossing labelled k, and the symbol -
indicates that you are passing under the crossing labelled k;<
indicates that the other strand of the crossing passes from right to left, and >
indicates that the other strand passes from left to right;As an example, you can represent the left-hand trefoil using the code:
+>1 -<2 +>3 -<1 +>2 -<3
Note that oriented Gauss codes are different from signed Gauss codes. Both formats improve upon classical Gauss codes by resolving the topological ambiguities and making reconstruction easy; however, they do so in different ways.
Currently Regina only supports Gauss codes for knots, not empty or multiple component links. If this link does not have precisely one component, then this routine will throw an exception. It is possible that in future versions of Regina, Gauss codes will be expanded to cover all possible link diagrams (hence the choice of NotImplemented as the exception type).
This routine joins the tokens together as a single string. The tokens will be separated by single spaces, and there will be no newlines.
The routine orientedGaussData() returns this same data in machine-readable format (as a C++ vector of string tokens), instead of the human-readable format used here (a single long string). There is also another variant of orientedGauss() that writes directly to an output stream.
NotImplemented | This link is empty or has multiple components. |
void regina::Link::orientedGauss | ( | std::ostream & | out | ) | const |
Writes an oriented Gauss code for this knot to the given output stream.
See orientedGauss() for a full description of oriented Gauss codes as they are used in Regina, as well as their limitations.
The output from this routine is precisely the string that would be returned by orientedGauss(). In particular, the output does not contain any newlines.
For a function that returns the oriented Gauss code (as opposed to writing it to an output stream), you could use orientedGauss() (which returns the oriented Gauss code as a human-readable string), or orientedGaussData() (which returns it as a machine-readable sequence of tokens).
NotImplemented | This link is empty or has multiple components. |
out | the output stream to which to write. |
std::vector< std::string > regina::Link::orientedGaussData | ( | ) | const |
Returns an oriented Gauss code for this knot, presented as a vector of string tokens.
See orientedGauss() for a full description of oriented Gauss codes as they are used in Regina, as well as their limitations.
For an n-crossing knot, the elements of the returned vector will be the 2n individual tokens of the form +<k
, -<k
, +>k
or ->k
that would normally be joined with whitespace to form a complete oriented Gauss code. For example, for the left-hand trefoil, the vector might contain the six tokens:
{ "+>1", "-<2", "+>3", "-<1", "+>2", "-<3" }
This routine returns machine-readable data (as a C++ vector); in contrast, orientedGauss() returns the same data in human-readable format (as a string).
NotImplemented | This link is empty or has multiple components. |
Locates an over-crossing within the same link component as the given strand.
The choice of which over-crossing is returned will be arbitrary (i.e., it might not be the first over-crossing).
component | a strand reference in this link, which may be a null reference (indicating a zero-crossing component). |
std::string regina::Link::pace | ( | ) | const |
Returns a text representation of the underlying 4-valent multigraph for this link diagram, using the PACE text format.
This format is described in detail at https://pacechallenge.wordpress.com/pace-2016/track-a-treewidth/.
In summary, the PACE text representation will consist of several lines of text:
p tw <num_vertices> <num_edges>
. Note that, since the underlying graph comes from a link diagram, we will always have num_edges equal to twice num_vertices.<u> <v>
, indicating an edge from vertex number u to vertex number v. In this format, vertices are numbered 1,2,...,num_vertices.An example of this text format is as follows:
p tw 4 8 1 2 1 4 1 2 2 3 3 4 1 3 3 4 2 4
If you are writing this text representation to an output stream then you should call writePACE() instead, which is more efficient.
|
inlineinherited |
Returns the packet that holds this data, if there is one.
If this object is being held by a packet p of type PacketOf<Held>, then that packet p will be returned. Otherwise, if this is a "standalone" object of type Held, then this routine will return null
.
There is a special case when dealing with a packet q that holds a SnapPea triangulation. Here q is of type PacketOf<SnapPeaTriangulation>, and it holds a Triangulation<3> "indirectly" in the sense that Packetof<SnapPeaTriangulation> derives from SnapPeaTriangulation, which in turn derives from Triangulation<3>. In this scenario:
null
, since there is no "direct" PacketOf<Triangulation<3>>;The function inAnyPacket() is specific to Triangulation<3>, and is not offered for other Held types.
null
if this data is not (directly) held by a packet.
|
inlineinherited |
Returns the packet that holds this data, if there is one.
See the non-const version of this function for further details, and in particular for how this functions operations in the special case of a packet that holds a SnapPea triangulation.
null
if this data is not (directly) held by a packet. Link regina::Link::parallel | ( | int | k, |
Framing | framing = Framing::Seifert ) const |
Returns k cables of this link, all parallel to each other using the given framing.
This routine creates a new link by:
This link will not be modified.
k | the number of parallel copies to create. This must be non-negative. |
framing | the framing under which these copies will be parallel. |
std::string regina::Link::pd | ( | ) | const |
Returns a planar diagram code for this link, presented as a string.
Planar diagram codes encode the local information at each crossing, and present this information as a list of 4-tuples. These codes are available for links as well as knots. Moreover (despite their name) they are available for virtual as well as classical links. However, they do come with some minor restrictions:
If you need a text code that can work with these types of link diagrams, you can always use Jenkins' format instead.
Regina adheres to a tight specification for the planar diagram codes that it outputs, in order to ensure compatibility with other software. In particular, Regina's codes are compatible with the Knot Atlas, as seen at http://katlas.org/wiki/Planar_Diagrams.
In detail: a planar diagram code for an n-crossing link is formed from a sequence of n 4-tuples of integers. Regina constructs this sequence as follows:
An example, you can represent the right-hand trefoil using the code:
[[1, 5, 2, 4], [3, 1, 4, 6], [5, 3, 6, 2]]
Some points to be aware of:
This routine formats the list of 4-tuples as a string, in a way that is consistent with the description in the Knot Atlas at http://katlas.org/wiki/Planar_Diagrams.
In particular, each 4-tuple will be formatted with square brackets, commas, and the prefix X
, and the main list will be formatted with square brackets, commas, and the prefix PD
. An example (for the right-handed trefoil) is:
PD[X[1, 5, 2, 4], X[3, 1, 4, 6], X[5, 3, 6, 2]]
The routine pdData() returns this same data in machine-readable format (as a C++ vector of 4-tuples of integers), instead of the human-readable format used here (a single string). There is also another variant of pd() that writes directly to an output stream.
void regina::Link::pd | ( | std::ostream & | out | ) | const |
Writes a planar diagram code for this link to the given output stream.
See pd() for a full description of planar diagram codes as they are used in Regina, as well as their limitations.
The output from this routine is precisely the string that would be returned by pd(). In particular, the output does not contain any newlines.
For a function that returns the planar diagram code (as opposed to writing it to an output stream), you could use pd() (which returns the code as a human-readable string), or pdData() (which returns it as a machine-readable sequence of 4-tuples of integers).
out | the output stream to which to write. |
bool regina::Link::pdAmbiguous | ( | ) | const |
Determines whether this link has any components whose orientations cannot be recovered from a planar diagram code.
Such components must have at least one crossing, and must consist entirely of over-crossings. See pd() for a detailed discussion on such components (which must be trivial for classical links, but which could be more interesting for virtual links).
Note that planar diagram codes have another limitation, which is that they cannot represent zero-crossing components at all (any such components are omitted from planar diagram codes entirely). Zero-crossing components are not recognised by this routine, but can be recognised instead by calling countTrivialComponents().
true
if and only if some component of this link has at least one crossing and consists entirely of over-crossings. std::vector< std::array< int, 4 > > regina::Link::pdData | ( | ) | const |
Returns a planar diagram code for this link, presented as vector of 4-tuples.
See pd() for a full description of planar diagram codes as they are used in Regina, as well as their limitations.
This routine returns machine-readable data (as a C++ vector); in contrast, pd() returns the same data in human-readable format (as a string).
NotImplemented | This link has so many crossings that the planar diagram code cannot be expressed using native C++ integers. |
|
inline |
If possible, performs a type I Reidemeister move to remove a crossing at the given location.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
The location of this move is specified by the argument crossing, which indicates the crossing that will be removed. Specifically, this move involves undoing a trivial twist at the given crossing.
You may pass a null pointer for crossing. However, in this case the move cannot be performed, which means this routine will do nothing and simply return false
.
crossing | identifies the crossing to be removed. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a type I Reidemeister move to remove a crossing.
For more detail on type I moves and when they can be performed, see r1(Crossing*).
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
crossing | identifies the crossing to be removed. See r1(crossing*) for details on exactly how this will be interpreted. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed.
|
inline |
If possible, performs a type I Reidemeister move to add a new crossing at the given location.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
The location of this move is specified by the argument arc. Specifically, this move involves adding a trivial twist to the given arc; the arguments side and sign indicate on which side of the arc and with which orientation the new twist will be made. See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects.
If arc is a null reference, then the new twist will be added to a zero-crossing unknot component; it will be assumed that this unknot component is oriented clockwise. If arc is null but there is no zero-crossing component then the move cannot be performed, and if arc is null but there are multiple zero-crossing components then the first such component will be used.
This move is almost always able to be performed: the only situation in which it cannot be performed is if arc is a null reference but this link contains no zero-crossing components, as discussed above.
The existing crossings in this link will keep the same indices, and the new crossing will be given the next index that is available.
arc | identifies the arc of the link in which the new twist will be introduced, as described above. |
side | 0 if the twist should be introduced on the left of the arc (when walking along the arc in the forward direction), or 1 if the twist should be introduced on the right of the arc. |
sign | the sign of the new crossing that will be introduced as part of the twist; this must be +1 or -1. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a type I Reidemeister move to add a new crossing.
For more detail on type I moves and when they can be performed, see r1(StrandRef, int, int).
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
arc | identifies the arc of the link in which the new twist will be introduced. See r1(StrandRef, int, int) for details on exactly how this will be interpreted. |
side | 0 if the twist should be introduced on the left of the arc (when walking along the arc in the forward direction), or 1 if the twist should be introduced on the right of the arc. |
sign | the sign of the new crossing that will be introduced as part of the twist; this must be +1 or -1. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed.
|
inline |
If possible, performs a type II Reidemeister move to remove two crossings at the given location.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
There are two variants of this routine: one that takes an arc, and one that takes a crossing. The other variant, which takes an arc, is more flexible (since either of the two arcs involved in this move can be passed). This variant, which takes a crossing, offers a canonical way of performing the move (since for each move there is exactly one crossing that describes it).
The location of this move is specified by the argument crossing, Specifically, this move involves pulling apart two arcs of the link (one upper, one lower) that both run between the same pair of crossings. The given crossing should be the start point of the upper arc; that is, when following the upper arc forwards, crossing should be the first of the two crossings that we encounter. Note that crossing is one of the two crossings that will be removed by this move.
You may pass a null pointer for crossing. However, in this case the move cannot be performed, which means this routine will do nothing and simply return false
.
crossing | identifies the crossing at the beginning of the "upper" arc that features in this move, as described above. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a type II Reidemeister move to remove two crossings.
For more detail on type II moves and when they can be performed, see r2(Crossing*).
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
crossing | identifies the crossing at the beginning of the "upper" arc that features in this move. See r2(Crossing*) for details on exactly how this will be interpreted. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed.
|
inline |
If possible, performs a type II Reidemeister move to remove two crossings at the given location.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
There are two variants of this routine: one that takes an arc, and one that takes a crossing. This variant, which takes an arc, is more flexible (since either of the two arcs involved in this move can be passed). The other variant, which takes a crossing, offers a canonical way of performing the move (since for each move there is exactly one crossing that describes it).
The location of this move is specified by the argument arc. Specifically, this move involves pulling apart two arcs of the link that surround a bigon; the given arc must be one of these two arcs. See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects.
You may pass a null reference for arc. However, in this case the move cannot be performed, which means this routine will do nothing and simply return false
.
arc | identifies one of the arcs of the bigon about which the move will be performed, as described above. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a type II Reidemeister move to remove two crossings.
For more detail on type II moves and when they can be performed, see r2(StrandRef).
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
arc | identifies one of the arcs of the bigon about which the move will be performed. See r2(StrandRef) for details on exactly how this will be interpreted. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed.
|
inline |
If possible, performs a classical type II Reidemeister move to add two new crossings by pushing two different strands over one another.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
By a classical type II move, we mean that the move can be performed without adding a handle to the surface S in which the link diagram is embedded. More precisely: the two "sides of strands" that will be passed over one another either belong to different connected components of the link diagram, or else both bound the same 2-cell in the dual cell decomposition of S. Performing a classical type II move on a classical link diagram will always result in a classical link diagram.
If you are working with virtual links, you may wish to use r2Virtual() instead, which does allow changing the surface S (and which could therefore convert a classical link diagram into a virtual diagram with positive virtual genus).
The location of this move is specified by the arguments upperArc, upperSide, lowerArc and lowerSide. Specifically, this move involves taking the arc upperArc and pushing it over lowerArc so that the two arcs overlap. The arguments upperSide and lowerSide indicate on which side of each arc the overlap takes place. See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects.
If upperArc and lowerArc are identical and non-null, then this routine will declare that the move cannot be performed. This is because passing the same strand over itself requires additional information (it is unclear whether the upper arc comes before or after the lower arc). You can achieve the same effect by adding two twists instead (i.e., performing two type I Reidemeister moves).
If either upperArc or lowerArc is a null reference, then the move will be performed upon a zero-crossing unknot component; it will be assumed that this unknot component is oriented clockwise. If one of these arguments is a null reference but there is no zero-crossing component then the move cannot be performed, and if there are multiple zero-crossing components then the first such component will be used.
If both arcs are null references, then the move will be performed upon two different zero-crossing unknot components. In this case, if there are fewer than two such components then the move cannot be performed, and otherwise upperArc will be the first such component and lowerArc will be the second. As before, this routine will refuse to pass the same zero-crossing unknot component over itself, but you can achieve the same effect by adding two twists.
The existing crossings in this link will keep the same indices, and the two new crossings will be given the next two indices that are available.
upperArc | identifies the arc of the link which will be passed over the other, as described above. |
upperSide | 0 if the new overlap should take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap should take place on the right of upperArc. |
lowerArc | identifies the arc of the link which will be passed beneath the other, as described above. |
lowerSide | 0 if the new overlap should take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap should take place on the right of lowerArc. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a classical type II Reidemeister move to add two new crossings by pushing two different strands over one another.
For more detail on classical type II moves and when they can be performed, see r2(StrandRef, int, StrandRef, int). This deprecated routine will not perform virtual type II moves; for that you should use the new routine r2Virtual() instead.
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
upperArc | identifies which arc of the link would be passed over another in this move. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
upperSide | 0 if the new overlap should take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap should take place on the right of upperArc. |
lowerArc | identifies which arc of the link would be passed beneath another in this move. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
lowerSide | 0 if the new overlap should take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap should take place on the right of lowerArc. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed.
|
inline |
If possible, performs a virtual type II Reidemeister move to add two new crossings by pushing the same strand over itself from opposite sides.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
This move only makes sense when working with virtual links; in a classical setting it is never possible (since opposite sides of the same strand cannot bound the same dual 2-cell on the sphere). For a virtual link diagram, if both sides of the given strand already bound the same 2-cell then this move will not change the virtual genus; otherwise it will add a handle to the surface in which the diagram is embedded, and the virtual genus will increase as a result. In particular, if the original link diagram is classical, then this move will always convert it into a virtual diagram with positive virtual genus.
The location of this move is specified by the arguments arc, firstSide, and firstStrand. Specifically, this move involves:
See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects.
If arc is a null reference, then the move will be performed upon a zero-crossing unknot component; it will be assumed that this unknot component is oriented clockwise. If arc is a null reference but there is no zero-crossing component then the move cannot be performed, and if there are multiple zero-crossing components then the first such component will be used.
The existing crossings in this link will keep the same indices, and the two new crossings will be given the next two indices that are available.
arc | identifies the arc of the link which will be passed over itself, as described above. |
firstSide | 0 if the first portion of the arc should push out to the left of the arc (when walking along the arc in the forward direction), or 1 if the first portion should push out to the right of the arc. |
firstStrand | 0 if the first portion of the arc should be pushed under the second, or 1 if the first portion should be pushed over the second. |
true
if and only if the requested move was able to be performed.
|
inline |
If possible, performs a virtual type II Reidemeister move to add two new crossings by pushing two different strands over one another.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
By a virtual type II move, we mean that the move can be performed upon any two "sides of strands", even if this requires adding a handle to the surface in which the link diagram is embedded. As a result, a virtual type II move could potentially change the virtual genus of the link diagram; in particular, it could convert a classical link diagram into a virtual diagram with positive virtual genus.
The location of this move is specified by passing two "sides of strands", in the same way as for classical type II moves. See r2(StrandRef, int, StrandRef, int) for details on how the location arguments are interpreted, and in particular how this move works with zero-crossing unknot components when passing null strand references.
Just like r2(), this routine cannot pass a strand over itself, since this requires additional information (it is unclear whether the upper arc comes before or after the lower arc). To do this in the classical way (using the same side of the same strand), you can add two twists (type I moves) instead. To do this in the virtual way (using opposite sides of the same strand), you can can call the function r2Virtual(StrandRef, int, int) which is designed precisely for this purpose.
The existing crossings in this link will keep the same indices, and the two new crossings will be given the next two indices that are available.
upperArc | identifies the arc of the link which will be passed over the other. See r2(StrandRef, int, StrandRef, int) for details on how this will be interpreted. |
upperSide | 0 if the new overlap should take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap should take place on the right of upperArc. |
lowerArc | identifies the arc of the link which will be passed beneath the other. See r2(StrandRef, int, StrandRef, int) for details on how this will be interpreted. |
lowerSide | 0 if the new overlap should take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap should take place on the right of lowerArc. |
true
if and only if the requested move was able to be performed.
|
inline |
If possible, performs a type III Reidemeister move at the given location.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
There are two variants of this routine: one that takes an arc, and one that takes a crossing. The other variant, which takes an arc, is more flexible (since any of the three arcs involved in this move can be passed). This variant, which takes a crossing, offers a canonical way of performing the move (since for each move there is exactly one crossing that describes it).
The location of this move is specified by the arguments crossing and side. Specifically, this move takes place around a triangle, and one of the arcs of this triangle is uppermost (in that it passes above the other two arcs). The given crossing should be the start point of this uppermost arc; that is, when following the arc forwards, crossing should be the first of the two crossings that we encounter. The additional argument side indicates on which side of the uppermost arc the third crossing is located.
You may pass a null pointer for crossing. However, in this case the move cannot be performed, which means this routine will do nothing and simply return false
.
All crossings in this link will keep the same indices, and no crossings will be created or destroyed. Instead, the three crossings involved in this move will simply be reordered along the various segments of the link.
crossing | identifies the crossing at the beginning of the "uppermost" arc that features in this move, as described above. |
side | 0 if the third crossing of the triangle is located to the left of the uppermost arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the uppermost arc. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a type III Reidemeister move.
For more detail on type III moves and when they can be performed, see r3(Crossing*, int).
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
crossing | identifies the crossing at the beginning of the "uppermost" arc that features in this move. See r3(Crossing*, int) for details on exactly how this will be interpreted. |
side | 0 if the third crossing of the triangle is located to the left of the uppermost arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the uppermost arc. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed.
|
inline |
If possible, performs a type III Reidemeister move at the given location.
If such a move is not allowed, then this routine does nothing.
This link diagram will be changed directly.
There are two variants of this routine: one that takes an arc, and one that takes a crossing. This variant, which takes an arc, is more flexible (since any of the three arcs involved in this move can be passed). The other variant, which takes a crossing, offers a canonical way of performing the move (since for each move there is exactly one crossing that describes it).
The location of this move is specified by the arguments arc and side. Specifically, this move takes place around a triangle; the given arc must form one of the three edges of this triangle. The argument side indicates on which side of the arc the third crossing is located. See the StrandRef documentation for the convention on how arcs are represented using StrandRef objects.
You may pass a null reference for arc. However, in this case the move cannot be performed, which means this routine will do nothing and simply return false
.
All crossings in this link will keep the same indices, and no crossings will be created or destroyed. Instead, the three crossings involved in this move will simply be reordered along the various segments of the link.
arc | identifies one of the arcs of the triangle about which the move will be performed, as described above. |
side | 0 if the third crossing of the triangle is located to the left of the arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the arc. |
true
if and only if the requested move was able to be performed.
|
inline |
Deprecated routine that tests for and optionally performs a type III Reidemeister move.
For more detail on type III moves and when they can be performed, see r3(StrandRef, int).
This routine will always check whether the requested move is allowed. If it is, and if the argument perform is true
, this routine will also perform the move.
arc | identifies one of the arcs of the triangle about which the move would be performed. See r3(StrandRef, int) for details on exactly how this will be interpreted. |
side | 0 if the third crossing of the triangle is located to the left of the arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the arc. |
ignored | an argument that is ignored. In earlier versions of Regina this argument controlled whether we check if the move can be performed; however, now this check is done always. |
perform | true if we should actually perform the move, assuming the move is allowed. |
true
if and only if the requested move could be performed. void regina::Link::reflect | ( | ) |
Converts this link into its reflection.
This routine changes the sign of every crossing, but leaves the upper and lower strands the same.
In the language of Jeremy Green's virtual knot tables, this operation is a horizontal mirror image.
void regina::Link::resolve | ( | Crossing * | c | ) |
Resolves the given crossing.
The two incoming strands will switch connections with the two outgoing strands, with the result that the given crossing is removed entirely.
c | the crossing to resolve. |
void regina::Link::reverse | ( | ) |
Reverses the orientation of every component of this link.
This routine preserves both the sign and the upper/lower positions at every crossing, but switches all incoming strands with outgoing strands and vice versa (so next() becomes prev(), and prev() becomes next()).
void regina::Link::reverse | ( | StrandRef | component | ) |
Reverses the orientation of just the link component that contains the given strand.
Other components of the link will not be modified.
For knots, this routine is identical to calling reverse().
component | a strand belonging to some component of this link. This need not be the starting strand for the component (i.e., it does not need to be the strand that is returned by component() ). This may be a null strand reference, in which case this routine will do nothing. |
|
inline |
Explores all link diagrams that can be reached from this via classical Reidemeister moves, without exceeding a given number of additional crossings.
As of Regina 7.4, this routine is now available for any link diagram (classical or virtual) with fewer than 64 link components. If this link has 64 or more components then this routine will throw an exception (as described below).
This routine iterates through all link diagrams that can be reached from this one via classical Reidemeister moves (with an important exception involving disconnected diagrams), without ever exceeding height additional crossings beyond the original number. With the current implementation, these diagrams could become reflected and/or reversed, and moreover each diagram will only be considered once up to reflection and/or reversal; be aware that this behaviour could change and/or become configurable in a future version of Regina.
By classical Reidemeister moves, we mean that we avoid any moves that could require adding a handle to the surface S in which the link diagram is embedded. That is, we allow ourselves to use the classical type I, II and III moves as implemented by r1(), r2() and r3(), but not the virtual type II move as implemented by r2Virtual(). If this link diagram is classical then every link diagram that this routine produces will also be classical; indeed, this routine uses exactly the Reidemeister moves as they would be taught in a standard (classical) knot theory text.
If you are working with virtual links, you may wish to use rewriteVirtual() instead. The routine rewriteVirtual() uses the same classical moves as above, but also allows the virtual type II move, which could change the genus of the surface containing the link diagram. Indeed, calling rewriteVirtual() on a classical link diagram could easily produce virtual diagrams with positive virtual genus.
For every link diagram that this routine encounters (including this starting diagram), this routine will call action (which must be a function or some other callable object).
true
, then this indicates that processing should stop immediately (i.e., no more link diagrams will be processed).The exception for disconnected diagrams is this: if this link diagram has more than one connected component, then this routine will never use a type II move to merge those components together (i.e., the diagram will always remain disconnected). Of course, if your link diagram is disconnected, then it will be much more efficient to call diagramComponents() and run rewrite() on each component independently.
This routine can be very slow and very memory-intensive, since the number of link diagrams it visits may be exponential in the number of crossings, and it records every link diagram that it visits (so as to avoid revisiting the same diagram again). It is highly recommended that you begin with height = 1, and if necessary try increasing height one at a time until this routine becomes too expensive to run.
If height is negative, then there will be no bound on the number of additional crossings. This means that the routine will never terminate, unless action returns true
for some link diagram that is passed to it.
Since Regina 7.0, this routine will not return until the exploration of link diagrams is complete, regardless of whether a progress tracker was passed. If you need the old behaviour (where passing a progress tracker caused the enumeration to start in the background), simply call this routine in a new detached thread.
To assist with performance, this routine can run in parallel (multithreaded) mode; simply pass the number of parallel threads in the argument threads. Even in multithreaded mode, this routine will not return until processing has finished (i.e., either action returned true
, or the search was exhausted). All calls to action will be protected by a mutex (i.e., different threads will never be calling action at the same time); as a corollary, the action should avoid expensive operations where possible (otherwise it will become a serialisation bottleneck in the multithreading).
FailedPrecondition | This link has 64 or more link components. If a progress tracker was passed, it will be marked as finished before the exception is thrown. |
height | the maximum number of additional crossings to allow beyond the number of crossings originally present in this link diagram, or a negative number if this should not be bounded. |
threads | the number of threads to use. If this is 1 or smaller then the routine will run single-threaded. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
action | a function (or other callable object) to call for each link diagram that is found. |
args | any additional arguments that should be passed to action, following the initial link argument(s). |
true
if some call to action returned true
(thereby terminating the search early), or false
if the search ran to completion.
|
inline |
Explores all link diagrams that can be reached from this via classical and/or virtual Reidemeister moves, without exceeding a given number of additional crossings.
This routine works in a similar manner to rewrite(); you should read the rewrite() documentation to learn about what it does, how it works, and how the callable action argument is expected to behave.
The main difference is that, in addition to supporting all three classical Reidemeister moves, this routine also uses the virtual type II Reidemeister move, as implemented by r2Virtual(). As a result, this routine could produce link diagrams with a different virtual genus to the original; in particular, even if the original link diagram is classical, this routine could (and typically will) produce diagrams with positive virtual genus as a result.
FailedPrecondition | This link has 64 or more link components. If a progress tracker was passed, it will be marked as finished before the exception is thrown. |
height | the maximum number of additional crossings to allow beyond the number of crossings originally present in this link diagram, or a negative number if this should not be bounded. |
threads | the number of threads to use. If this is 1 or smaller then the routine will run single-threaded. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
action | a function (or other callable object) to call for each link diagram that is found. |
args | any additional arguments that should be passed to action, following the initial link argument(s). |
true
if some call to action returned true
(thereby terminating the search early), or false
if the search ran to completion. void regina::Link::rotate | ( | ) |
Rotates this link diagram, effectively flipping the surface that contains it "upside-down".
This routine keeps the sign of each crossing fixed, but switches the upper and lower strands.
S × I
. Then this operation performs an orientation-preserving homeomorphism of S × I
that switches the boundaries S × {0}
and S × {1}
.Some authors refer to this operation as a flip. In the language of Jeremy Green's virtual knot tables, this is the composition of both a vertical and a horizontal mirror image.
size_t regina::Link::seifertCircles | ( | ) | const |
Returns the number of Seifert circles for this link diagram.
This is the number of circles obtained when we smooth every crossing in a way that respects the orientations of the strands.
In other words: this routine returns the number of link components that would be obtained if we called resolve() on every crossing in the diagram.
bool regina::Link::selfFrame | ( | ) |
Adds trivial twists to this link to ensure that each component has zero writhe.
Here the writhe of a component c is the sum of the signs of all crossings at which c crosses itself.
Any component(s) that already have zero writhe will be left unchanged.
This link will be modified directly.
true
if the link diagram was changed, or false
if every component already had zero writhe to begin with. std::string regina::Link::sig | ( | bool | allowReflection = true, |
bool | allowReversal = true, | ||
bool | allowRotation = true ) const |
Constructs the signature for this knot or link diagram.
A signature is a compact text representation of a link diagram that uniquely determines the diagram up to any combination of:
Signatures are now supported for all link diagrams with fewer than 64 link components. Specifically:
The signature is constructed entirely of printable characters, and has length proportional to n log n
, where n is the number of crossings.
The routine fromSig() can be used to recover a link diagram from its signature. The resulting diagram might not be identical to the original, but it will be related by zero or more applications of relabelling, and (according to the arguments) reflection of the diagram, rotation of the diagram, and/or reversal of individual link components.
The running time is quadratic in the number of crossings and (if we allow reversal, which is the default) exponential in the number of link components. For this reason, signatures should not be used for links with a large number of components.
This routine runs in quadratic time.
NotImplemented | This link diagram has 64 or more link components. |
allowReflection | true if reflecting the entire link diagram should preserve the signature, or false if the signature should distinguish between a diagram and its reflection (unless of course there is a symmetry). |
allowReversal | true if reversing some or all link components should preserve the signature, or false if the signature should distinguish between different orientations (again, unless of course there are symmetries). |
allowRotation | true if rotating the entire link diagram should preserve the signature, or false if the signature should distinguish between a diagram and its rotation (again, unless there is a symmetry). |
std::string regina::Link::signedGauss | ( | ) | const |
Returns a signed Gauss code for this knot, presented as a string.
The signed Gauss code, as described by Kauffman, modifies the classical Gauss code to indicate which crossings are positive and which are negative. This extra information removes both the topological ambiguities and the complexity in the reconstruction procedure for classical Gauss codes. It also makes the code suitable for both virtual and classical knots.
Be warned that for signed Gauss codes, the signs +/-
play a very different role from classical Gauss codes: in signed Gauss codes they indicate positive versus negative crossings, whereas in classical Gauss codes they indicate upper versus lower strands.
This format is used in Louis H. Kauffman, "Virtual knot theory", European J. Combin. 20 (1999), no. 7, 663-690. It works as follows:
Ok+
, Ok-
, Uk+
or Uk-
, where:O
indicates that you are passing over the crossing labelled k, and the symbol U
indicates that you are passing under the crossing labelled k;+
indicates that the crossing labelled k is positive, and the symbol -
indicates that the crossing labelled k is negative;As an example, you can represent the figure eight knot using the code:
U1+O2+U3-O4-U2+O1+U4-O3-
Note that signed Gauss codes are different from oriented Gauss codes. Both formats improve upon classical Gauss codes by resolving the topological ambiguities and making reconstruction easy; however, they do so in different ways.
Currently Regina only supports Gauss codes for knots, not empty or multiple component links. If this link does not have precisely one component, then this routine will throw an exception. It is possible that in future versions of Regina, Gauss codes will be expanded to cover all possible link diagrams (hence the choice of NotImplemented as the exception type).
The routine signedGaussData() returns this same data in machine-readable format (as a C++ vector of shorter string tokens, one for each crossing that you pass), instead of the single long string that is returned here. There is also another variant of signedGauss() that writes directly to an output stream.
NotImplemented | This link is empty or has multiple components. |
void regina::Link::signedGauss | ( | std::ostream & | out | ) | const |
Writes a signed Gauss code for this knot to the given output stream.
See signedGauss() for a full description of signed Gauss codes as they are used in Regina, as well as their limitations.
The output from this routine is precisely the string that would be returned by signedGauss(). In particular, the output does not contain any newlines.
For a function that returns the signed Gauss code (as opposed to writing it to an output stream), you could use signedGauss() (which returns the signed Gauss code as a human-readable string), or signedGaussData() (which returns it as a machine-readable sequence of tokens).
NotImplemented | This link is empty or has multiple components. |
out | the output stream to which to write. |
std::vector< std::string > regina::Link::signedGaussData | ( | ) | const |
Returns a signed Gauss code for this knot, presented as a vector of string tokens.
See signedGauss() for a full description of signed Gauss codes as they are used in Regina, as well as their limitations.
For an n-crossing knot, the elements of the returned vector will be the 2n individual tokens of the form Ok+
, Ok-
, Uk+
or Uk-
that would normally be concatenated together to form a complete signed Gauss code. For example, for the figure eight knot, the vector might contain the eight tokens:
{ "U1+", "O2+", "U3-", "O4-", "U2+", "O1+", "U4-", "O3-" }
This routine returns machine-readable data (as a C++ vector); in contrast, signedGauss() returns the same data in human-readable format (as a single long string).
NotImplemented | This link is empty or has multiple components. |
bool regina::Link::simplify | ( | ) |
Attempts to simplify this link diagram as intelligently as possible using fast and greedy heuristics.
Specifically, this routine tries combinations of Reidemeister moves with the aim of reducing the number of crossings.
Currently this routine uses simplifyToLocalMinimum() in combination with random type III Reidemeister moves.
Although simplify() often works well, it can sometimes get stuck. If this link is a knot (i.e., it has precisely one component), then in such cases you can try the more powerful but (much) slower simplifyExhaustive() instead.
This routine will never reflect, rotate or reverse the link diagram.
true
if and only if the link diagram was successfully simplified.
|
inline |
Attempts to simplify this link diagram using a slow but exhaustive search through the Reidemeister graph.
This routine is more powerful but much slower than simplify().
As of Regina 7.4, this routine will never reflect, rotate or reverse the link diagram.
Also, as of Regina 7.4, this routine is now available for any link diagram (classical or virtual) with fewer than 64 link components. If this link has 64 or more components then this routine will throw an exception (as described below).
This routine will iterate through all link diagrams that can be reached from this via Reidemeister moves, without ever exceeding height additional crossings beyond the original number. (If this link diagram is disconnected, then there is an exception: this routine will never use a type II move to merge distinct diagram components together, which would never help with simplification).
If at any stage this routine finds a diagram with fewer crossings than the original, then it will call simplify() to simplify the diagram further if possible and will then return true
. If it cannot find a diagram with fewer crossings then it will leave this link diagram unchanged and return false
.
If this is a classical link diagram then only classical Reidemeister moves will be used, as implemented by r1(), r2() and r3(); in particular, this routine will never consider link diagrams with positive virtual genus. If this is a virtual link diagram, then both classical and virtual Reidemeister moves will be used, including r1(), r2(), r3(), and r2Virtual(); this means that the exploration through the Reidemeister graph might pass through diagrams with smaller and/or greater virtual genus than the original.
This routine can be very slow and very memory-intensive: the number of link diagrams it visits may be exponential in the number of crossings, and it records every diagram that it visits (so as to avoid revisiting the same diagram again). It is highly recommended that you begin with height = 1, and if this fails then try increasing height one at a time until either you find a simplification or the routine becomes too expensive to run.
If height is negative, then there will be no bound on the number of additional crossings. This means that the routine will not terminate until a simpler diagram is found. If no simpler diagram exists then the only way to terminate this function is to cancel the operation via a progress tracker (read on for details).
If you want a fast simplification routine, you should call simplify() instead. The benefit of simplifyExhaustive() is that, for very stubborn link diagrams where simplify() finds itself stuck at a local minimum, simplifyExhaustive() is able to "climb out" of such wells.
Since Regina 7.0, this routine will not return until either the link diagram is simplified or the exhaustive search is complete, regardless of whether a progress tracker was passed. If you need the old behaviour (where passing a progress tracker caused the exhaustive search to start in the background), simply call this routine in a new detached thread.
To assist with performance, this routine can run in parallel (multithreaded) mode; simply pass the number of parallel threads in the argument threads. Even in multithreaded mode, this routine will not return until processing has finished (i.e., either the diagram was simplified or the search was exhausted), and any change to this link diagram will happen in the calling thread.
If this routine is unable to simplify the link diagram, then this link diagram will not be changed.
FailedPrecondition | This link has 64 or more link components. If a progress tracker was passed, it will be marked as finished before the exception is thrown. |
height | the maximum number of additional crossings to allow beyond the number of crossings originally present in this diagram, or a negative number if this should not be bounded. |
threads | the number of threads to use. If this is 1 or smaller then the routine will run single-threaded. |
tracker | a progress tracker through which progress will be reported, or null if no progress reporting is required. |
true
if and only if this diagram was successfully simplified to fewer crossings. bool regina::Link::simplifyToLocalMinimum | ( | bool | perform = true | ) |
Uses type I and II Reidemeister moves to reduce the link monotonically to some local minimum number of crossings.
End users will probably not want to call this routine. You should call simplify() if you want a fast (and usually effective) means of simplifying a link. If this link is a knot (i.e., it has precisely one component), then you can also call simplifyExhaustive() if you are still stuck and you want to try a slower but more powerful method instead.
Type III Reidemeister moves (which do not reduce the number of crossings) are not used in this routine. Such moves do however feature in simplify().
This routine will never reflect, rotate or reverse the link diagram.
perform | true if we are to perform the simplifications, or false if we are only to investigate whether simplifications are possible (defaults to true ). |
true
, this routine returns true
if and only if the link was changed to reduce the number of crossings; if perform is false
, this routine returns true
if and only if it determines that it is capable of performing such a change.
|
inline |
Returns the number of crossings in this link.
Note that a link can have more components than crossings (since it may contain additional zero-crossing unknot components).
std::string regina::Link::source | ( | Language | language = Language::Current | ) | const |
Returns C++ or Python source code that can be used to reconstruct this link.
This code will call Link::fromData(), passing a series of hard-coded C++ initialiser lists or Python lists (depending on the requested language).
The main purpose of this routine is to generate these hard-coded lists, which can be tedious and error-prone to write by hand.
language | the language in which the source code should be written. |
|
inherited |
Returns a short text representation of this object.
This text should be human-readable, should use plain ASCII characters where possible, and should not contain any newlines.
Within these limits, this short text ouptut should be as information-rich as possible, since in most cases this forms the basis for the Python __str__()
and __repr__()
functions.
__str__()
will use precisely this function, and for most classes the Python __repr__()
function will incorporate this into its output.
|
inline |
Returns the strand in the link with the given integer ID.
Each strand ID is of the form 2c+s, where c is the index of the crossing, and s is 0 or 1 for the lower or upper strand respectively. A null strand reference (as used to indicate 0-crossing unknot components) has an ID of -1.
id | an integer between -1 and 2*size()-1 inclusive. |
void regina::Link::swap | ( | Link & | other | ) |
Swaps the contents of this and the given link.
All crossings that belong to this link will be moved to other, and all crossings that belong to other will be moved to this link. Likewise, all cached properties (e.g., tree decompositions) will be swapped.
In particular, any Crossing pointers or references and any StrandRef objects will remain valid.
This routine will behave correctly if other is in fact this link.
noexcept
, since it fires change events on both links which may in turn call arbitrary code via any registered packet listeners.other | the link whose contents should be swapped with this. |
|
static |
Reconstructs a classical or virtual link from its given tight encoding.
See the page on tight encodings for details.
The tight encoding will be read from the given input stream. If the input stream contains leading whitespace then it will be treated as an invalid encoding (i.e., this routine will throw an exception). The input stream may contain further data: if this routine is successful then the input stream will be left positioned immediately after the encoding, without skipping any trailing whitespace.
InvalidInput | The given input stream does not begin with a tight encoding of a link. |
input | an input stream that begins with the tight encoding for a link. |
|
inlinestaticinherited |
Reconstructs an object of type T from its given tight encoding.
See the page on tight encodings for details.
The tight encoding should be given as a string. If this string contains leading whitespace or any trailing characters at all (including trailing whitespace), then it will be treated as an invalid encoding (i.e., this routine will throw an exception).
InvalidArgument | The given string is not a tight encoding of an object of type T. |
enc | the tight encoding for an object of type T. |
void regina::Link::tightEncode | ( | std::ostream & | out | ) | const |
Writes the tight encoding of this link to the given output stream.
See the page on tight encodings for details.
out | the output stream to which the encoded string will be written. |
|
inlineinherited |
Returns the tight encoding of this object.
See the page on tight encodings for details.
FailedPrecondition | This may be thrown for some classes T if the object is in an invalid state. If this is possible, then a more detailed explanation of "invalid" can be found in the class documentation for T, under the member function T::tightEncode(). See FacetPairing::tightEncode() for an example of this. |
|
inlineprotectedinherited |
Returns whether or not there are any topology locks currently held on this object.
Strictly speaking, this routine could return a false negative: the number of locks is stored as an 8-bit integer and so in reality this tests whether the number of locks is a multiple of 256. False negatives are mathematically harmless, since the worst that will happen is that topological properties will be cleared when they could have been preserved, and so unnecessary extra computation may be required to compute them again.
This routine will never return a false positive.
false
if there are no topology locks currently held on this object, or if a false negative occurs (as described above); or true
to indicate that there are currently topology locks held on this object. Translates a strand reference from some other link into the corresponding strand reference from this link.
Typically this routine would be used when the given strand comes from a link that is combinatorially identical to this, and you wish to obtain the corresponding strand in this link.
Specifically: if other refers to some strand (upper or lower) of crossing number k of some other link, then the return value will refer to the same strand (upper or lower) of crossing number k of this link.
This routine behaves correctly even if other is a null reference.
other | the strand reference to translate. |
Translates a crossing from some other link into the corresponding crossing in this link.
Typically this routine would be used when the given crossing comes from a link that is combinatorially identical to this, and you wish to obtain the corresponding crossing in this link.
Specifically: if other refers to crossing number k of some other link, then the return value will refer to crossing number k of this link.
This routine behaves correctly even if other is a null pointer.
other | the crossing to translate. |
Locates an under-crossing within the same link component as the given strand.
The choice of which under-crossing is returned will be arbitrary (i.e., it might not be the first under-crossing).
component | a strand reference in this link, which may be a null reference (indicating a zero-crossing component). |
|
inline |
Instructs Regina to use the given tree decomposition as the starting point whenever it needs a tree decomposition for this link.
For some link routines, including niceTreeDecomposition() as well as computations such as jones() that support the option Algorithm::Treewidth, Regina needs a tree decomposition of the 4-valent multigraph formed by this link diagram.
By default, Regina will compute (and then cache) such a tree decomposition itself, using in-built greedy heuristics. This routine allows you to supply your own tree decomposition (which, for example, might be a smaller-width tree decomposition that you found using third-party software). By supplying your own tree decomposition td through this routine, Regina will throw away any pre-computed tree decomposition that it has cached, and will instead cache td for future use instead.
Regina may modify the given tree decomposition for its purposes. In particular, td does not need to be a nice tree decomposition (indeed, it does not need to have any special properties beyond the definition of a tree decomposition). Regina will automatically create a nice tree decomposition from it if td is not nice already.
td | a tree decomposition of the 4-valent multigraph formed by this link diagram. |
|
inherited |
Returns a short text representation of this object using unicode characters.
Like str(), this text should be human-readable, should not contain any newlines, and (within these constraints) should be as information-rich as is reasonable.
Unlike str(), this function may use unicode characters to make the output more pleasant to read. The string that is returned will be encoded in UTF-8.
|
inline |
Determines the virtual genus of this link diagram.
The virtual genus is the smallest genus of closed orientable surface in which the diagram embeds.
Note that this is a property of the link diagram, not the link itself.
For classical link diagrams, the virtual genus will always be zero (since classical link diagrams are by definition planar).
This routine runs in time linear in the size of the link diagram. However, the virtual genus is cached, and so subsequent calls to virtualGenus() or isClassical() will be instantaneous.
Link regina::Link::whiteheadDouble | ( | bool | positive = true | ) | const |
Returns the untwisted positive or negative Whitehead double of this knot.
This routine works only with knots, not multiple-component links. If this link is empty or has more than one component, then this routine will throw an exception.
This routine creates a new link by (i) creating two parallel copies of the original knot using the Seifert framing, and then (ii) cutting open these two copies and re-connecting them using a clasp. The signs of the two crossings in the clasp are determined by the optional argument positive (the default is to use two positive crossings).
The two parallel copies of the original link will be oriented as follows: when following the orientation of the original knot, the left copy will have the same orientation, and the right copy will have the reverse orientation.
This link will not be modified.
FailedPrecondition | This link is empty or has multiple components. |
positive | true if the clasp should use positive crossings (which builds the positive Whitehead double), or false if the clasp should use negative crossings (which builds the negative Whitehead double). |
If possible, returns the diagram obtained by performing a type I Reidemeister move at the given location to remove a crossing.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on type I moves and when they can be performed, see r1(Crossing*).
crossing | identifies the crossing to be removed. See r1(Crossing*) for details on exactly how this will be interpreted. |
If possible, returns the diagram obtained by performing a type I Reidemeister move at the given location to add a new crossing.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on type I moves and when they can be performed, see r1(StrandRef, int, int).
arc | identifies the arc of the link in which the new twist will be introduced. See r1(StrandRef, int, int) for details on exactly how this will be interpreted. |
side | 0 if the twist should be introduced on the left of the arc (when walking along the arc in the forward direction), or 1 if the twist should be introduced on the right of the arc. |
sign | the sign of the new crossing that will be introduced as part of the twist; this must be +1 or -1. |
If possible, returns the diagram obtained by performing a type II Reidemeister move at the given location to remove two crossings.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on type II moves and when they can be performed, see r2(Crossing*).
crossing | identifies the crossing at the beginning of the "upper" arc that features in this move. See r2(Crossing*) for details on exactly how this will be interpreted. |
If possible, returns the diagram obtained by performing a type II Reidemeister move at the given location to remove two crossings.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on type II moves and when they can be performed, see r2(StrandRef).
arc | identifies one of the arcs of the bigon about which the move will be performed. See r2(StrandRef) for details on exactly how this will be interpreted. |
|
inline |
If possible, returns the diagram obtained by performing a classical type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on classical type II moves and when they can be performed, see r2(StrandRef, int, StrandRef, int). Note that a classical type II move on a classical link diagram will always result in a classical link diagram.
upperArc | identifies which arc of the link will be passed over another. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
upperSide | 0 if the new overlap should take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap should take place on the right of upperArc. |
lowerArc | identifies which arc of the link will be passed beneath another. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
lowerSide | 0 if the new overlap should take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap should take place on the right of lowerArc. |
|
inline |
If possible, returns the diagram obtained by performing a virtual type II Reidemeister move at the given location to add two new crossings by pushing the same strand over itself from opposite sides.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on these kinds of virtual type II moves and when they can be performed, see r2Virtual(StrandRef, int, int). Note that a virtual type II move could potentially change the virtual genus of the link diagram; in particular, it could convert a classical link diagram into a virtual diagram with positive virtual genus.
arc | identifies which arc of the link will be passed over itself. See r2(StrandRef, int, int) for details on exactly how this will be interpreted. |
firstSide | 0 if the first portion of the arc should push out to the left of the arc (when walking along the arc in the forward direction), or 1 if the first portion should push out to the right of the arc. |
firstStrand | 0 if the first portion of the arc should be pushed under the second, or 1 if the first portion should be pushed over the second. |
|
inline |
If possible, returns the diagram obtained by performing a virtual type II Reidemeister move at the given location to add two new crossings by pushing two different strands over one another.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on these kinds of virtual type II moves and when they can be performed, see r2Virtual(StrandRef, int, StrandRef, int). Note that a virtual type II move could potentially change the virtual genus of the link diagram; in particular, it could convert a classical link diagram into a virtual diagram with positive virtual genus.
The check for virtual type II moves is extremely fast (as opposed to classical type II moves, where the check takes linear time).
upperArc | identifies which arc of the link will be passed over another. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
upperSide | 0 if the new overlap should take place on the left of upperArc (when walking along upperArc in the forward direction), or 1 if the new overlap should take place on the right of upperArc. |
lowerArc | identifies which arc of the link will be passed beneath another. See r2(StrandRef, int, StrandRef, int) for details on exactly how this will be interpreted. |
lowerSide | 0 if the new overlap should take place on the left of lowerArc (when walking along lowerArc in the forward direction), or 1 if the new overlap should take place on the right of lowerArc. |
If possible, returns the diagram obtained by performing a type III Reidemeister move at the given location.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on type III moves and when they can be performed, see r3(Crossing*, int).
crossing | identifies the crossing at the beginning of the "uppermost" arc that features in this move. See r3(Crossing*, int) for details on exactly how this will be interpreted. |
side | 0 if the third crossing of the triangle is located to the left of the uppermost arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the uppermost arc. |
If possible, returns the diagram obtained by performing a type III Reidemeister move at the given location.
If such a move is not allowed, then this routine returns no value.
This link diagram will not be changed.
For more detail on type III moves and when they can be performed, see r3(StrandRef, int).
arc | identifies one of the arcs of the triangle about which the move will be performed. See r3(StrandRef, int) for details on exactly how this will be interpreted. |
side | 0 if the third crossing of the triangle is located to the left of the arc (when walking along the arc in the forward direction), or 1 if the third crossing is located on the right of the arc. |
void regina::Link::writePACE | ( | std::ostream & | out | ) | const |
Outputs the underlying 4-valent multigraph for this link diagram using the PACE text format.
This format is described in detail at https://pacechallenge.wordpress.com/pace-2016/track-a-treewidth/, and is documented in detail by the routine pace().
Calling link.writePACE(out)
is equivalent to out << link.pace()
. However, this routine is more efficient.
See the pace() documentation for further details.
out | the output stream to which to write. |
void regina::Link::writeTextLong | ( | std::ostream & | out | ) | const |
Writes a detailed text representation of this link to the given output stream.
out | the output stream to which to write. |
void regina::Link::writeTextShort | ( | std::ostream & | out | ) | const |
Writes a short text representation of this link to the given output stream.
out | the output stream to which to write. |
|
inline |
Returns the writhe of this link diagram.
This is not an invariant of the link; instead it depends on the particular link diagram. It is computed as the sum of the signs of all crossings. It is preserved under Reidemeister moves II and III, but not I.
|
inline |
Returns the writhe of a single component of this link diagram.
This is the writhe of the diagram when all other components are removed. It is computed as the sum of the signs of all crossings at which the given component crosses itself.
In this version of writheOfComponent(), the component is indicated by its index. This function is equivalent to calling writheOfComponent(component(index))
.
index | the index of the requested component. This must be between 0 and countComponents()-1 inclusive. |
long regina::Link::writheOfComponent | ( | StrandRef | component | ) | const |
Returns the writhe of a single component of this link diagram.
This is the writhe of the diagram when all other components are removed. It is computed as the sum of the signs of all crossings at which the given component crosses itself.
In this version of writheOfComponent(), the component is indicated by the argument strand, which may be any strand along the component. In particular, strand does not need to be the "starting strand" returned by component().
The given strand may be a null strand, in which case the return value will be 0 (since Regina uses null strands to refer to zero-crossing unknot components). This is always allowed, regardless of whether the link actually contains any zero-crossing unknot components.
component | any strand along the component of interest. |
|
staticconstexpr |
The name of the variable used in the affine index polynomial, as returned by affineIndex().
This is provided to help with pretty-printing affine index polynomials for human consumption.
To pretty-print the affine index polynomial for human consumption, you can call Laurent::str(Link::affineIndexVar)
.
|
staticconstexpr |
The name of the variable used in the Alexander polynomial, as returned by alexander().
This is provided to help with pretty-printing Alexander polynomials for human consumption.
To pretty-print the Alexander polynomial for human consumption, you can call Laurent::str(Link::alexanderVar)
.
|
staticconstexpr |
The name of the variable used in the Kauffman bracket, as returned by bracket().
This is provided to help with pretty-printing Kauffman brackets for human consumption.
To pretty-print the Kauffman bracket for human consumption, you can call Laurent::str(Link::bracketVar)
.
|
protectedinherited |
Indicates whether this Held object is in fact the inherited data for a PacketOf<Held>.
As a special case, this field is also used to indicate when a Triangulation<3> is in fact the inherited data for a SnapPeaTriangulation. See the PacketHeldBy enumeration for more details on the different values that this data member can take.
|
staticconstexpr |
The name of the first variable used in the variant of the HOMFLY-PT polynomial as returned by homflyAZ().
This is provided to help with pretty-printing HOMFLY-PT polynomials for human consumption.
Since homflyAZ() returns a Laurent polynomial in alpha and z, this string just contains the mathematical symbol alpha (encoded in UTF-8).
To pretty-print this HOMFLY-PT polynomial for human consumption, you can call Laurent2::str(Link::homflyAZVarX, Link::homflyAZVarY)
.
|
staticconstexpr |
The name of the second variable used in the variant of the HOMFLY-PT polynomial as returned by homflyAZ().
This is provided to help with pretty-printing HOMFLY-PT polynomials for human consumption.
Since homflyAZ() returns a Laurent polynomial in alpha and z, this string just contains the single character z.
To pretty-print this HOMFLY-PT polynomial for human consumption, you can call Laurent2::str(Link::homflyAZVarX, Link::homflyAZVarY)
.
|
staticconstexpr |
The name of the first variable used in the variant of the HOMFLY-PT polynomial as returned by homflyLM().
This is provided to help with pretty-printing HOMFLY-PT polynomials for human consumption.
Since homflyLM() returns a Laurent polynomial in l and m, this string just contains the mathematical script symbol for l (encoded in UTF-8).
To pretty-print this HOMFLY-PT polynomial for human consumption, you can call Laurent2::str(Link::homflyLMVarX, Link::homflyLMVarY)
.
|
staticconstexpr |
The name of the second variable used in the variant of the HOMFLY-PT polynomial as returned by homflyLM().
This is provided to help with pretty-printing HOMFLY-PT polynomials for human consumption.
Since homflyLM() returns a Laurent polynomial in l and m, this string just contains the single character m.
To pretty-print this HOMFLY-PT polynomial for human consumption, you can call Laurent2::str(Link::homflyLMVarX, Link::homflyLMVarY)
.
|
staticconstexpr |
The name of the first variable used in the variant of the HOMFLY-PT polynomial as returned by homfly().
This is simply an alias for homflyAZVarX. See the documentation for homflyAZVarX for further details.
|
staticconstexpr |
The name of the second variable used in the variant of the HOMFLY-PT polynomial as returned by homfly().
This is simply an alias for homflyAZVarY. See the documentation for homflyAZVarY for further details.
|
staticconstexpr |
The name of the variable used in the Jones polynomial, as returned by jones().
This is provided to help with pretty-printing Jones polynomials for human consumption.
Since jones() returns a Laurent polynomial in the square root of t, this string is just a human-readable representation of the square root of t (encoded in UTF-8).
To pretty-print the Jones polynomial for human consumption, you can call Laurent::str(Link::jonesVar)
.
|
protectedinherited |
The number of topology locks currently held on this object.
Any non-zero number of locks implies that "hook routines" that clear computed properties (as described in the class notes) will preserve properties that are purely topological.