I am currently working on algebraic projective curves and I feel I'm missing some concrete calculations.
I would therefore like to do a few computations on my own. For that I need first a way of actually creating an irreducible curve.
I am wondering therefore if there is an algorithm to factor a two variable polynomial P(X,Y) in the algebraic closure of a given finite field $\mathbb{F}_p$. Intuitively I think there might be a way to brute-force this: Possibly create a finite field of high enough cardinal and then just try every possible factor(since there is a finite possible number of them.) That however seems to me extremely ineffective, so I was wondering if there is a better way of doing it. Some sort of multi-variable Berlekamp algorithm.