Expose plugin options

[alexanderivrii]

Summary

This commit enables additional options for KMSSynthesisLinearFunction and PMHSynthesisLinearFunction plugins for synthesizing LinearFunction objects. For the Patel-Markov-Hayes algorithm (PMH) we can now directly specify the section_size, as for example

mat = random_invertible_binary_matrix(7, seed=1234)
qc = QuantumCircuit(7)
qc.append(LinearFunction(mat), [0, 1, 2, 3, 4, 5, 6])
hls_config = HLSConfig(linear_function=[("pmh", {"section_size": 1})])
qct = HighLevelSynthesis(hls_config=hls_config)(qc)

For both plugins we can specify use_transposed and use_inverted options that modify the matrix on which the underlying synthesis algorithm runs by possibly inverting and/or transposing it, and then suitably adjust the synthesized circuit. This functionality existed in Qiskit before, but was not exposed through the options.

By varying these options, we generally get different synthesized circuits, and in cases may obtain better results than for their default values.

Details and comments

[qiskit-bot]

One or more of the the following people are requested to review this:

• @Qiskit/terra-core

[coveralls]

Pull Request Test Coverage Report for Build 8497367679

Details

• 32 of 34 (94.12%) changed or added relevant lines in 2 files are covered.
• 3 unchanged lines in 1 file lost coverage.
• Overall coverage increased (+0.01%) to 89.354%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
qiskit/transpiler/passes/synthesis/high_level_synthesis.py	31	33	93.94%

Files with Coverage Reduction	New Missed Lines	%
crates/qasm2/src/lex.rs	3	92.62%

Totals
Change from base Build 8497269180:	0.01%
Covered Lines:	60274
Relevant Lines:	67455

---

💛 - Coveralls

[sbrandhsn]

Suggested change

	In certain cases this provides a better decomposition then the direct approach.
	In certain cases this provides a better decomposition than the direct approach.

[sbrandhsn]

Suggested change

	and to invert the order oF CX gates in the synthesized circuit.
	and to invert the order of CX gates in the synthesized circuit.

[sbrandhsn]

Suggested change

	In certain cases this provides a better decomposition then the direct approach.
	In certain cases this provides a better decomposition than the direct approach.

[sbrandhsn]

Suggested change

	and to invert the order oF CX gates in the synthesized circuit.
	and to invert the order of CX gates in the synthesized circuit.

[sbrandhsn]

LGTM, thanks! :-)