We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Sometimes user may specify inconsistent UC_Sets and UC_RHS*. How should we handle it, apart from issuing a warning? We could:
UC_Sets
UC_RHS*
The text was updated successfully, but these errors were encountered:
@Antti-L do you have any advice on this?
Sorry, something went wrong.
I think a warning should be mostly quite sufficient.
~UC_T
UC_RHSxxx
UC_T_*
UC_TS_*
No branches or pull requests
Sometimes user may specify inconsistent
UC_Sets
andUC_RHS*
. How should we handle it, apart from issuing a warning?We could:
UC_Sets
consistent withUC_RHS*
(I believe that's what Veda does)UC_RHS*
consistent withUC_Sets
The text was updated successfully, but these errors were encountered: