add support for dynamical systems over function field in function all_rational_preimages

[Saher-Amasha]

we modified the if condition so that it doesn't throw an error when working with dynamical systems over function field the actual code of the function is not changed because it works on dynamical systems over function field

CC: @bhutz

Component: dynamics

Author: Saher Amasha,Safa Amasha

Branch/Commit: u/gh-Saher-Amasha/add_support_for_dynamical_systems_over_function_field_in_function__all_rational_preimages @ 46fc21e

Reviewer: Ben Hutz

Issue created by migration from https://trac.sagemath.org/ticket/31549

[Saher-Amasha]

Description changed:

--- 
+++ 
@@ -1,2 +1,2 @@
 we modified the if so that it doesn't throw an error when working with 
- dynamical systems over function field the actual code of the function is not changed because it works on  dynamical systems over function field
+dynamical systems over function field the actual code of the function is not changed because it works on  dynamical systems over function field

[Saher-Amasha]

Description changed:

--- 
+++ 
@@ -1,2 +1 @@
-we modified the if so that it doesn't throw an error when working with 
-dynamical systems over function field the actual code of the function is not changed because it works on  dynamical systems over function field
+we modified the if condition so that it doesn't throw an error when working with dynamical systems over function field the actual code of the function is not changed because it works on  dynamical systems over function field

[Saher-Amasha]

Branch: u/gh-Saher-Amasha/add_support_for_dynamical_systems_over_function_field_in_function__all_rational_preimages

[mkoeppe]

comment:4

Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review of ticket status, priority, and last modification date.

[Saher-Amasha]

Commit: 330a6d0

[Saher-Amasha]

New commits:

330a6d0

we modified the if condition so that it doesn't throw an error when working with dynamical systems over function field the actual code of the function is not changed because it works on dynamical systems over function field

[bhutz]

comment:7

I can take a look at this change, but it probably won't be until next week.

just a quick comment. The commit message should be short (one line) with the more detailed description in a following paragraph.

[bhutz]

Reviewer: Ben Hutz

[bhutz]

comment:8

On the surface this functionality works, but the details need a little work.

In the code itself there are a number of white space issues. For example

[(1/t)*x^2 + y^2  ,y^2])

should be

[(1/t)*x^2 + y^2, y^2])

In the new if line as well, you're missing a space after the comma and have an extra space before the closing ).

The example code should be improved in a number of ways:

• I'd suggest saving a line and removing K and just defining the function field over the finite field directly.
• The variables base and CF are not used so should not be in the example.
• D is not needed: P is already the domain of DS.
• Instead of calling normalize, just define the dynamical system as you want it to be defined as.

While adding support for function fields, seems like you should also allow finite fields, since that also requires no other changes.