Polimorfizm kształtu w JAX może prowadzić do kilku powszechnych błędów ze względu na jego obsługę symbolicznych wymiarów w kształtach macierzy. Oto niektóre z tych błędów:
1. Niekompatybilne kształty nadawania: Podczas stosowania polimorfizmu kształtu operacje takie jak dodanie lub mnożenie macierzy mogą się nie powieść, jeśli wymiary symboliczne nie pasują do oczekiwanych kształtów. Na przykład próba dodania tablic o kształtach `(v)` i `(4,)` spowoduje błąd, ponieważ `V` jest symbolicznym wymiarem, który nie zawsze może równy 4 [1] [2].
2. Błędy sprawdzania kształtu: Operacje takie jak mnożenie macierzy wymagają określonych ograniczeń kształtu, takich jak posiadanie macierzy kwadratowej. Jeśli wymiary symboliczne nie spełniają tych ograniczeń (np. Za pomocą `(v, 4)` zamiast `(v, v)`), JAX podnosi błędy [1] [2].
3. Niejednoznaczne operacje wymiaru: Porównania obejmujące wymiary symboliczne mogą być niejednoznaczne, jeśli nie można ich rozwiązać z wartością logiczną dla wszystkich możliwych wartości wymiarów symbolicznych. Prowadzi to do błędów takich jak „Nieprawniona -Menonenderation” podczas próby porównywania symbolicznych kształtów [1].
4. Błędy twierdzenia o kształcie: JAX zakłada, że zmienne wymiarowe są ściśle dodatnimi liczbami całkowitych. Jeśli faktyczne kształty wejściowe nie spełniają tych założeń (np. Kształt taki jak `(B, B, 2*D)` Gdy `D` nie jest liczbą całkowitą), JAX podnosi błędy podczas wykonywania [1] [2].
Błędy te podkreślają potrzebę starannego radzenia sobie z wymiarami symbolicznymi przy użyciu polimorfizmu kształtu w JAX.
Cytaty:[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/thing_in_jax.html
[4] https://stackoverflow.com/questions/65934509/errors-in-polymorfizm
[5] https://github.com/google/jax/discussion/15995
[6] https://docs.jax.dev/en/latest/debugging/index.html
[7] https://jax.readthedocs.io/en/latest/errors.html
[8] https://laracasts.com/discuss/channels/eloquent/polymorphism-why-should-i-violate-database-design?reply=103880