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.
1.6.1