[13.0] Create module base_domain_inverse_function

[grindtildeath]

This module provides functions to decompose normalized domains
into domains operands, as these functions are the inverse of
AND and OR functions available in odoo.osv.expression.

[i-vyshnevska]

to fix the build you need to change from gitlab to github

server-tools/.pre-commit-config.yaml

Line 66 in ef4e864

- repo: https://gitlab.com/pycqa/flake8

[grindtildeath]

@i-vyshnevska that probably won't be enough, we need to move to GH actions but there are some issues in this repo, cf #2459

[mmequignon]

shouldn't you add a test that ensures that an OR domain isn't split by inverse_AND, and an AND domain isn't split by inverse_OR

self.assertEqual(inverse_OR(self.complex_domain_and_or_or),  self.complex_domain_and_or_or)
self.assertEqual(inverse_AND(self.complex_domain_or_and_and), self.complex_domain_or_and_and)

[grindtildeath]

There's no sense to use the inverse_OR function on a domain that doesn't begin with an OR operator, as it means such domain wasn't created with OR function. I could still add a test and raise an error in this case.

[mmequignon]

I find it very difficult to understand.
Domains use infix notation a + b -> + b a.
I remember in compilation courses at school, we created a lexer for that notation, and I would have gone this way.
The grammar here is quite easy: |, &, ! and tuples, I think it would be easier to review and to maintain.
However, it might take some time to implement.
Ping me if you have questions.

[grindtildeath]

Feel free to propose another implementation if you can do better 😝

[gurneyalex]

/ocabot merge nobump

[OCA-git-bot]

On my way to merge this fine PR!
Prepared branch 13.0-ocabot-merge-pr-2474-by-gurneyalex-bump-nobump, awaiting test results.

[OCA-git-bot]

This PR has the approved label and has been created more than 5 days ago. It should therefore be ready to merge by a maintainer (or a PSC member if the concerned addon has no declared maintainer). 🤖

[OCA-git-bot]

Congratulations, your PR was merged at fa15dcd. Thanks a lot for contributing to OCA. ❤️