I was only a small time miner on PascalCoin early on, but I think the name is good. Sure you could change it, just like Xcoin became Darkcoin and then Dash, but I don't see any strong arguments that some other name would be a larger benefit to Pascalcoin.
I'd say just keep the name unless there are legal reasons not to.
Just going with Pascal sounds good to me as well. Either Pascal or PascalCoin are good names for this asset!
I also agree,there's no one claiming that they have the rights to the word PascalCoin,it can also differentiate it from all the other pascal reference in the internet,it already established a name for it,so why changing ..