Skip to content
New issue

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

Why does ZeroOperator have a rangespace? #8

Open
putianyi889 opened this issue Jun 27, 2019 · 0 comments
Open

Why does ZeroOperator have a rangespace? #8

putianyi889 opened this issue Jun 27, 2019 · 0 comments

Comments

@putianyi889
Copy link
Contributor

putianyi889 commented Jun 27, 2019

ZeroOperator maps whatever Fun to zero on a specific Domain. Whatever space on that Domain doesn't matter.

For example, there is an Operator called C from space S1 to space S2. There is a ZeroOperator called D from space S1 to space S3. S2 and S3 are both spaces on [-1,1].

Executing C+D will trigger a conversion between S2 and S3, which can't succeed in general for random S2 and S3. But C+D should be C AFAIK.

IMO the field rangespace of ZeroOperator should be replaced by domain.

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

No branches or pull requests

1 participant