Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add epsilon attribute to Specifier #190

Open
Breush opened this issue Mar 15, 2019 · 1 comment
Open

Add epsilon attribute to Specifier #190

Breush opened this issue Mar 15, 2019 · 1 comment

Comments

@Breush
Copy link
Contributor

Breush commented Mar 15, 2019

Rationale is that from minpoly.h, we can find some switch based on certifyInconsistency, which should be replaced by a epsilon and do the switch when epsilon > 1 / fieldSize:

	template<class Polynomial, class Blackbox>
	Polynomial &minpoly (
			     Polynomial                       & P,
			     const Blackbox                   & A,
			     const RingCategories::ModularTag & tag,
			     const Method::Blackbox           & M)
	{
		if (M.certifyInconsistency) {
			// Will make a word size extension
			// when field size is too small
			minpoly(P, A, tag, Method::WiedemannExtension (M));
			return P;
		}
		else
			return minpoly(P, A, tag, Method::Wiedemann (M));
	}

See #53

@ClementPernet
Copy link
Member

same happens in rank.inl

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants