Implements tuples corresponding to the putput of TTP algorithm. More...
#include <AEProtocol.h>
Public Member Functions | |
TTPTuple () | |
TTPTuple (const vector< Word > &L, const vector< Word > &R) | |
TTPTuple (const vector< Word > &L, const vector< Word > &R, const Word &conj) | |
int | length () const |
Returns the total length of the tuples. | |
void | shorten (int N) |
Shorten words in each tuple. | |
bool | testTuples (int N, bool details) const |
Test tuples for being "seprated", i.e. two nonintersecting sets of commuting generators. | |
bool | shortAndTestTuples (int N, bool details=false) |
Performs shorten and then test on being "separated". | |
Public Attributes | |
vector< Word > | WL |
vector< Word > | WR |
Word | z |
Private Attributes | |
vector< Word > | origWL |
vector< Word > | origWR |
Friends | |
bool | operator< (const TTPTuple &t1, const TTPTuple &t2) |
Tuple ordering operator. |
Implements tuples corresponding to the putput of TTP algorithm.
Definition at line 108 of file AEProtocol.h.
TTPTuple::TTPTuple | ( | ) | [inline] |
Definition at line 111 of file AEProtocol.h.
Definition at line 112 of file AEProtocol.h.
TTPTuple::TTPTuple | ( | const vector< Word > & | L, | |
const vector< Word > & | R, | |||
const Word & | conj | |||
) | [inline] |
Definition at line 116 of file AEProtocol.h.
int TTPTuple::length | ( | ) | const |
Returns the total length of the tuples.
bool TTPTuple::shortAndTestTuples | ( | int | N, | |
bool | details = false | |||
) | [inline] |
Performs shorten and then test on being "separated".
Definition at line 137 of file AEProtocol.h.
References shorten(), and testTuples().
void TTPTuple::shorten | ( | int | N | ) |
Shorten words in each tuple.
Referenced by shortAndTestTuples().
bool TTPTuple::testTuples | ( | int | N, | |
bool | details | |||
) | const |
Test tuples for being "seprated", i.e. two nonintersecting sets of commuting generators.
N | - braid group rank | |
deails | - if true will print verbose information |
Referenced by shortAndTestTuples().
Tuple ordering operator.
Definition at line 143 of file AEProtocol.h.
vector<Word> TTPTuple::origWL [private] |
Definition at line 150 of file AEProtocol.h.
vector<Word> TTPTuple::origWR [private] |
Definition at line 151 of file AEProtocol.h.
vector<Word> TTPTuple::WL |
Definition at line 121 of file AEProtocol.h.
Referenced by AEKeyExchange::alicePublicKey().
vector<Word> TTPTuple::WR |
Definition at line 122 of file AEProtocol.h.
Referenced by AEKeyExchange::bobPublicKey().
Definition at line 148 of file AEProtocol.h.