Formpolymorfism i JAX kan leda till flera vanliga fel på grund av dess hantering av symboliska dimensioner i arrayformer. Här är några av dessa fel:
1. Inkompatibla former för sändning: När man använder formpolymorfism kan operationer som tillägg eller matrismultiplikation misslyckas om de symboliska dimensionerna inte stämmer överens med de förväntade formerna. Till exempel kommer att försöka lägga till matriser med former `(v,)` och `(4,)` att resultera i ett fel eftersom `v 'är en symbolisk dimension som kanske inte alltid är lika med 4 [1] [2].
2. Felkontrollfel: Operationer som matrismultiplikation kräver specifika formbegränsningar, till exempel att ha fyrkantiga matriser. Om de symboliska dimensionerna inte uppfyller dessa begränsningar (t.ex. att använda `(V, 4)` istället för '(V, V) `) kommer Jax att höja fel [1] [2].
3. Osynliga dimensionsoperationer: Jämförelser som involverar symboliska dimensioner kan vara oöverträffade om de inte kan lösas till ett booleskt värde för alla möjliga värden för de symboliska dimensionerna. Detta leder till fel som "InconclusivedimensionOperation" när man försöker jämföra symboliska former [1].
4. Fel påståendet: JAX antar att dimensionsvariabler är strikt positiva heltal. Om de faktiska ingångsformerna inte uppfyller dessa antaganden (t.ex. en form som `(b, b, 2*d)` när `d` inte är ett heltal), kommer Jax att höja fel under körningen [1] [2].
Dessa fel belyser behovet av att noggrant hantera symboliska dimensioner när man använder formpolymorfism i JAX.
Citeringar:[1] https://docs.jax.dev/en/latest/export/shape_poly.html
[2] https://github.com/google/jax/blob/main/jax/experimental/jax2tf/readme.md
[3] https://docs.jax.dev/en/latest/notebooks/thinking_in_jax.html
[4] https://stackoverflow.com/questions/65934509/errors-in-polymorphism
[5] https://github.com/google/jax/discussions/15995
[6] https://docs.jax.dev/en/latest/debugging/index.html
[7] https://jax.readthedocs.io/en/latest/errors.html
]